">
Fatal Error: You forgot to copy config.php-dist to config.php and edit it.\n"; exit; } set_include_path(get_include_path() . PATH_SEPARATOR . "include"); require_once "functions.php"; require_once "sessions.php"; require_once "sanity_check.php"; require_once "version.php"; require_once "config.php"; require_once "db-prefs.php"; $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); init_connection($link); login_sequence($link); $dt_add = time(); no_cache_incantation(); header('Content-Type: text/html; charset=utf-8'); ?>