- /* parent.document.getElementById('cont').innerHTML = \"%d\";
- parent.allmythings = \"%d\"; */
- if ($i != 350) {
- printf("<script id=\"hs%d\" type=\"text/javascript\">
- parent.allmythings = %d;
- console.log(\"zorro \"+parent.allmythings);
-
- </script>", $i, $i);
+ if ($i != 18) {
+ printf("<script id='hs%d' type='text/javascript'>
+if (http_streaming != 'ready') {
+ http_streaming.keepalive();
+}
+</script>", $i, $i);