From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Wed, 18 Apr 2007 05:20:32 +0000 (+0000)
Subject: aggiunto page_sync per blackout di rete lunghi e cambi pagina nel mentre
X-Git-Tag: 3.0.0~271
X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=90632317a77dd0653987ace056aca18c43cc123b;p=brisk.git

aggiunto page_sync per blackout di rete lunghi e cambi pagina nel mentre
---

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;