web: if project down for maintenance, say so and quit

This commit is contained in:
David Anderson 2017-01-05 13:25:52 -08:00
parent fe485e643b
commit 5e858aca97
3 changed files with 3 additions and 7 deletions

View File

@ -12,7 +12,7 @@ define("IMAGE_URL", "user_profile/images/");
define("PROFILE_PATH", "../user_profile/");
define("PROFILE_URL", "user_profile/");
define("LANGUAGE_FILE", "languages.txt");
define("STYLESHEET", "custom.css");
define("STYLESHEET", "dev_custom.css");
define("COPYRIGHT_HOLDER", "UC Berkeley");
define("SYS_ADMIN_EMAIL", "davea@ssl.berkeley.edu");
define("POST_REPORT_EMAILS", "elst93@gmail.com, ksmarkspsych@gmail.com, trog_dog@hotmail.com, DjangoFett@gmx.net");

View File

@ -299,9 +299,7 @@ function form_input_textarea($label, $name, $value='') {
<div class="form-group">
<label class="control-label col-sm-2" for="'.$name.'">'.$label.'</label>
<div class="col-sm-10">
<textarea rows="6" class="form-control" id="'.$name.'" name="'.$name.'">
'.$value.'
</textarea>
<textarea rows="6" class="form-control" id="'.$name.'" name="'.$name.'">'.$value.'</textarea>
</div>
</div>
';

View File

@ -128,9 +128,7 @@ function get_logged_in_user($must_be_logged_in=true) {
global $g_logged_in_user, $got_logged_in_user;
if ($got_logged_in_user) return $g_logged_in_user;
if (web_stopped()) {
return null;
}
check_web_stopped();
$authenticator = null;
if (isset($_COOKIE['auth'])) $authenticator = $_COOKIE['auth'];