Merge pull request #2979 from BOINC/Rytiss-pagehead

Do not allow page_head() to be called twice
This commit is contained in:
Christian Beer 2019-02-02 10:38:55 +01:00 committed by GitHub
commit 94b2872d3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -243,6 +243,10 @@ function page_head(
global $caching, $cache_control_extra, $did_page_head; global $caching, $cache_control_extra, $did_page_head;
global $is_login_page, $fixed_navbar; global $is_login_page, $fixed_navbar;
if ($did_page_head) {
return;
}
$did_page_head = true; $did_page_head = true;
$url_base = url_base(); $url_base = url_base();