summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2013-03-26 22:38:05 +0400
committerAndrew Dolgov <[email protected]>2013-03-26 22:38:05 +0400
commitd0c6dd29d19da4de9966cd9985d467fe1cfab556 (patch)
tree8c312e884dfbb6d89875ddf02303ae9b7d358d7b /prefs.php
parent24df74de3b8d60e50fec9220a34869fd51480c63 (diff)
add experimental easy installer
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php10
1 files changed, 10 insertions, 0 deletions
diff --git a/prefs.php b/prefs.php
index 324968753..5b4ac1766 100644
--- a/prefs.php
+++ b/prefs.php
@@ -1,7 +1,17 @@
<?php
+ if (file_exists("install") && !file_exists("config.php")) {
+ header("Location: install/");
+ }
+
set_include_path(dirname(__FILE__) ."/include" . PATH_SEPARATOR .
get_include_path());
+ if (!file_exists("config.php")) {
+ print "<b>Fatal Error</b>: You forgot to copy
+ <b>config.php-dist</b> to <b>config.php</b> and edit it.\n";
+ exit;
+ }
+
require_once "sessions.php";
require_once "functions.php";
require_once "sanity_check.php";