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";