global $CFG, $THEME, $SESSION, $USER, $HTTPSPAGEREQUIRED;
+/// Do not mess with THEME if header already printed - this would break all the extra stuff in global $THEME from print_header()!!
+ if (defined('HEADER_PRINTED')) {
+ return;
+ }
+
if (empty($theme)) {
$theme = current_theme();
}
// vim:autoindent:expandtab:shiftwidth=4:tabstop=4:tw=140:
-?>
\ No newline at end of file
+?>