From 1562265a7d503aa2396b2ffbc2b965c29dd3791d Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Tue, 3 Apr 2018 14:44:40 -0700
Subject: [PATCH] web: don't check for stop_web in page_head().

Allow projects to show (non-DB) content even if stop_web is present
(e.g. description of the project on front page).
stop_web really means "the DB is offline".
---
 html/inc/util.inc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/html/inc/util.inc b/html/inc/util.inc
index 3c9bc8db2a5..929cc15e626 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -303,7 +303,6 @@ function page_head(
         break;
     }
     project_banner($title, $url_prefix, $is_main);
-    check_web_stopped();
 }
 }