diff --git a/html/inc/util.inc b/html/inc/util.inc
index 3c9bc8db2a..929cc15e62 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();
 }
 }