From 90632317a77dd0653987ace056aca18c43cc123b Mon Sep 17 00:00:00 2001 From: "Matteo Nastasi (mop)" Date: Wed, 18 Apr 2007 05:20:32 +0000 Subject: [PATCH] aggiunto page_sync per blackout di rete lunghi e cambi pagina nel mentre --- web/index_rd.php | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/web/index_rd.php b/web/index_rd.php index 8e76c6c..6010681 100644 --- a/web/index_rd.php +++ b/web/index_rd.php @@ -49,6 +49,13 @@ function unrecerror() return (sprintf('the_end=true; window.onunload = null; document.location.assign("index.php");')); } +function page_sync($page) +{ + GLOBAL $is_page_streaming; + + $is_page_streaming = TRUE; + return (sprintf('the_end=true; window.onunload = null; document.location.assign("%s");', $page)); +} @@ -162,6 +169,12 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su if ($cur_step < $user->step) { do { if ($cur_step + COMM_N < $user->step) { + if (($cur_stat != $user->stat)) { + $to_stat = $user->stat; + unlock_data($sem); + ignore_user_abort(FALSE); + return (page_sync($to_stat == "table" ? "table.php" : "index.php")); + } log_rd2($sess, "lost history, refresh from scratch"); $new_step = -1; break; -- 2.17.1