+function page_sync($sess, $page, $table_idx, $table_token)
+{
+ GLOBAL $is_page_streaming;
+
+ log_rd2("page_sync:".var_export(debug_backtrace()));
+
+ $is_page_streaming = TRUE;
+
+ log_rd2("PAGE_SYNC");
+ return (sprintf('createCookie("table_idx", %d, 24*365, cookiepath); createCookie("table_token", "%s", 24*365, cookiepath); the_end=true; window.onunload = null; window.onbeforeunload = null; document.location.assign("%s");', $table_idx, $table_token, $page));
+}