"); echo "

".gettext("Action sur le serveur")."

"; if ($action == "stop") { echo "
".gettext("Arrêt du serveur en cours ...!"); echo "
"; echo gettext("Veuillez patienter ..."); echo "
"; exec("/usr/bin/sudo /usr/share/se3/scripts/start_stop_serv.sh stop"); } if ($action == "restart") { echo "
".gettext("Redémarrage du serveur en cours ...!"); echo "
"; echo gettext("Veuillez patienter ..."); echo "
"; exec("/usr/bin/sudo /usr/share/se3/scripts/start_stop_serv.sh restart"); } echo "

"; echo "
"; echo ""; /********************** Modules ****************************************************/ // Modules disponibles echo ""; echo "\n"; // Module Inventaire echo "\n"; echo "
\n"; echo gettext("Actions disponibles"); echo "
"; echo ""; echo gettext("Stopper le serveur"); echo ""; echo "
"; echo ""; echo gettext("Redémarrer le serveur"); echo ""; echo "
"; include("pdp.inc.php"); ?>