<?php
$GAMES_URL = $SERVER_URL . "Jeux/";
# professeur Mandale stuff
$MANDALE_URL = $GAMES_URL . "mandale/";
$MANDALE_PLAY_GAME_PAGE = $MANDALE_URL . "play_game.php3";
$MANDALE_HOME_GAME_PAGE = $MANDALE_URL . "home_game.php3";
$MANDALE_GAME_NAME = "Le professeur Mandale@Kestufoot";
$MANDALE_START_DATE = "2007-03-09 13:00:00";
$JABBER_HOSTNAME = "ns24417.ovh.net";
$JABBER_CONFERENCE_SERVICE_NAME = "conference";
?>