Merge pull request #2446 from BOINC/dpa_stop_web

web: don't check for stop_web in page_head().
BOINC · Apr 4, 2018 · a9dac7e · a9dac7e
2 parents 46e7d3d + 1562265
commit a9dac7e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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();
 }
 }