diff options
author | Andrew Dolgov <[email protected]> | 2021-03-05 21:14:35 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-03-05 21:14:35 +0300 |
commit | 2b8b845abe7c13ecbb266613910484310cffe8e1 (patch) | |
tree | 90bd2e93737c2aad17cfb09496cc57cf3f9968cd /logout.php | |
parent | b2341679d53b227fc90fba34c3a7e6453e3cad6e (diff) |
* use ORM for trivial queries
* environment-based configuration
* useradm.php -> update.php with new options
* support for schema migrations
* various fixes
Diffstat (limited to 'logout.php')
-rw-r--r-- | logout.php | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -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 |