summaryrefslogtreecommitdiff
path: root/index.php
diff options
context:
space:
mode:
authorShevAbam <shevabam@gmail.com>2014-10-21 11:27:39 +0200
committerShevAbam <shevabam@gmail.com>2014-10-21 11:27:39 +0200
commitc963916274eed0ffe0ef430677c6d68ac6f6a9f1 (patch)
tree3bf3ddf5e92764347018790d4b7f318799b4bbb2 /index.php
parent8bc4826552afb39c36abf09201461a119b81d4bf (diff)
Several new things !
- General : syntax checking of the configuration file *(thanks to Micht69)* - General : check PHP version (5.3+) *(thanks to Gilles)* - General : add *check_updates* setting to the config file to enable or not the checking for updates - General : add *auto_refresh* setting to the config file to automatically reload page each x seconds *(thanks to sebastienserre and Aranud)*
Diffstat (limited to 'index.php')
-rw-r--r--index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/index.php b/index.php
index 6036f9e..8af45f3 100644
--- a/index.php
+++ b/index.php
@@ -8,6 +8,9 @@ $update = $Config->checkUpdate();
<html lang="en">
<head>
<meta charset="utf-8">
+ <?php if ($Config->get('esm:auto_refresh') > 0): ?>
+ <meta http-equiv="refresh" content="<?php echo $Config->get('esm:auto_refresh'); ?>">
+ <?php endif; ?>
<title>eZ Server Monitor - <?php echo Misc::getHostname(); ?></title>
<link rel="stylesheet" href="web/css/utilities.css" type="text/css">
<link rel="stylesheet" href="web/css/frontend.css" type="text/css">