global $script_langages;\r
$script_langages = array ('bash' => 'Bash');\r
\r
+/* Operations may take a long time.\r
+ * Be sure PHP's safe mode is off.\r
+ */\r
+ set_time_limit(0);\r
+\r
if ($_SERVER['REQUEST_METHOD'] == "GET" && count ($_GET) == 0)\r
{\r
require (JIRAFEAU_ROOT . 'lib/template/header.php');\r