exit;
}
+/* Operations may take a long time.
+ * Be sure PHP's safe mode is off.
+ */
+ set_time_limit(0);
+
/* Admin interface. */
require (JIRAFEAU_ROOT . 'lib/template/header.php');
?><h2><?php echo t('Admin interface'); ?></h2><?php
require (JIRAFEAU_ROOT.'lib/template/footer.php');
-?>
\ No newline at end of file
+?>
exit;
}
+/* Operations may take a long time.
+ * Be sure PHP's safe mode is off.
+ */
+ set_time_limit(0);
+
$link_name = $_GET['h'];
if (!preg_match ('/[0-9a-zA-Z_-]{22}$/', $link_name))
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