<?php
session_start();

/* On récupère le paramètre : la direction dans laquelle on se déplace */
$d=$_GET["dir"];

/* On récupère la pièce dans laquelle on se trouve */
$piece = $_SESSION["piece"];


include("data.php");

/* récupérer le tableau des déplacements pour la pièce où on se trouve */
$alldir = $dir[$piece];

/* La salle de destination dépend de la direction dans laquelle on se rend */
$newpiece = $alldir[$d];

/* Si la destination est bien une pièce, on s'y déplace */
if ($newpiece >= 0){
    $piece = $newpiece;
}

/* Et on pense à resauver la variable de session qui a été modifiée */
$_SESSION["piece"] = $piece;

header("Location: display.php");