preferences_update();
sess = "<?php echo "$sess"; ?>";
- hstm = new http_streaming(window, console, gst, 'table_php', 'sess', sess, $('sandbox'), 'index_rd_ifra.php', function(com){eval(com);});
+ hstm = new http_streaming(window, null /* console */, gst, 'table_php', 'sess', sess, $('sandbox'), 'index_rd_ifra.php', function(com){eval(com);});
hstm.hbit_set(heartbit);
window.onbeforeunload = onbeforeunload_cb;
</html>
<?php
}
-?>
\ No newline at end of file
+?>