X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=prefs.php;h=0add206e43c0de29bb54353d3f4aab5ce2f20c0f;hb=f820f205d0ec1c5ce9027e49755fc8642b0c5b42;hp=3249687532f94f31f88bf73556afa39de3307a62;hpb=bcbb2ec7927849117bfedac87a3726808890d19c;p=tt-rss.git

diff --git a/prefs.php b/prefs.php
index 32496875..0add206e 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";
@@ -27,6 +37,7 @@
 
 	<?php echo stylesheet_tag("lib/dijit/themes/claro/claro.css"); ?>
 	<?php echo stylesheet_tag("tt-rss.css"); ?>
+	<?php echo stylesheet_tag("prefs.css"); ?>
 
 	<?php print_user_stylesheet($link) ?>