diff options
Diffstat (limited to 'devel-utf8/itjs/state.html')
| -rw-r--r-- | devel-utf8/itjs/state.html | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/devel-utf8/itjs/state.html b/devel-utf8/itjs/state.html new file mode 100644 index 0000000..36f36c0 --- /dev/null +++ b/devel-utf8/itjs/state.html @@ -0,0 +1,31 @@ +<?php header("Cache-Control: max-age=3600"); +return <<<EOF +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd"> +<html> +<head> +<title></title> +<script type="text/javascript"> +var state_load_attempts = 0; +function state_onload() +{ + if (state_load_attempts < 30) + { + state_load_attempts++; + if (parent.it_state && parent.it_state.ready) + parent.setTimeout(parent.it_state_restore_history, 1); + else + window.setTimeout(state_onload, 90); + } + window[(document.all?'onbeforeunload':'onunload')] = state_onbeforeunload; +} +function state_onbeforeunload() +{ + if (parent.it_state && !parent.it_state.it_state_saved) + parent.it_state.store_state(); +} +</script> +</head> +<body onload="state_onload()"><form action="/itjs/state.html" method="get"><input type="hidden" id="state" name="s" value=""></form></body> +</html> +EOF +?> |