diff --git a/bootstrap.inc.php b/bootstrap.inc.php index abbc1a877..f61a88ed1 100644 --- a/bootstrap.inc.php +++ b/bootstrap.inc.php @@ -1,7 +1,7 @@ = 7) { + $bIsValidPhpVersion = true; +} else { + echo 'Your PHP version ('.PHP_VERSION.') isn\'t supported.'; + exit(-1); +} + + define('ITOP_DEFAULT_ENV', 'production'); define('MAINTENANCE_MODE_FILE', APPROOT.'data/.maintenance'); define('READONLY_MODE_FILE', APPROOT.'data/.readonly'); -if (function_exists('microtime')) -{ +if (function_exists('microtime')) { $fItopStarted = microtime(true); -} -else -{ +} else { $fItopStarted = 1000 * time(); }