diff options
Diffstat (limited to 'src/etc/inc/util.inc')
| -rw-r--r-- | src/etc/inc/util.inc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/etc/inc/util.inc b/src/etc/inc/util.inc index fb00dcb..88d48fa 100644 --- a/src/etc/inc/util.inc +++ b/src/etc/inc/util.inc @@ -2232,7 +2232,12 @@ function post_redirect($page, $params) { foreach ($params as $key => $value) { print "<input type=\"hidden\" name=\"{$key}\" value=\"{$value}\" />\n"; } - print "</form><script type=\"text/javascript\">document.formredir.submit();</script>\n"; + print "</form>\n"; + print "<script type=\"text/javascript\">\n"; + print "//<![CDATA[\n"; + print "document.formredir.submit();\n"; + print "//]]>\n"; + print "</script>\n"; print "</body></html>\n"; } |
