* use ORM for trivial queries

 * environment-based configuration
 * useradm.php -> update.php with new options
 * support for schema migrations
 * various fixes

1 files changed, 7 insertions, 5 deletions

diff --git a/logout.php b/logout.php
index e365b9f..214699e 100644
--- a/logout.php
+++ b/logout.php
@@ -1,10 +1,12 @@
 <?php
-	require_once "config.php";
-	require_once "sessions.php";
+	set_include_path(__DIR__ ."/include" . PATH_SEPARATOR .
+		get_include_path());
 
-	logout_user();
+	require_once "common.php";
+	require_once "sessions.php";
 
-	header("Location: login.php");
+	Config::sanity_check();
 
-?>
+	logout_user();
 
+	header("Location: login.php");
\ No newline at end of file