Added a notify in debugging mode for a double print_header()

diff --git a/lib/weblib.php b/lib/weblib.php
index 33712659c8a959267b6ee067b8adadb2b77e50cc..0aac8106c0b2d103d9f9d31def93b4f0e2782b24 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1853,6 +1853,9 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
     static $headerprinted = false;
 
     if ($headerprinted) {
+        if ($CFG->debug > 7) {
+            notify('print_header() was called more than once - this should not happen.  Please check the code for this page closely, a common culprit is a call to error() after print_header().');
+        }
         return;
     } else {
         $headerprinted = true;