changeset 65:e63c26dc0497

RLG-Web client: refresh the current games list. Add a refresh button to the list of watchable games. Also refresh it if watching fails.
author John "Elwin" Edwards <elwin@sdf.org>
date Wed, 20 Jun 2012 09:12:26 -0700
parents e3082fd06520
children 57bf0dcd080e
files index-rlg.html rlgterm.js
diffstat 2 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/index-rlg.html	Wed Jun 20 08:49:10 2012 -0700
+++ b/index-rlg.html	Wed Jun 20 09:12:26 2012 -0700
@@ -91,6 +91,7 @@
  <div><div>Player</div><div>Game</div><div>Actions</div></div>
 </div>
 <div id="nogames">There are no games to watch.</div>
+<div class="rfloat"><span class="ibutton" onclick="getcurrent()">Refresh</span></div>
 </div>
 <div class="modal" id="startgame">
 <div id="opttable" class="formtable"><div><div>Game</div><div>Actions</div></div></div>
--- a/rlgterm.js	Wed Jun 20 08:49:10 2012 -0700
+++ b/rlgterm.js	Wed Jun 20 09:12:26 2012 -0700
@@ -603,6 +603,7 @@
     }
     else if (reply.t == 'E') {
       debug(1, "Could not watch game " + gamenumber + ": " + reply.s);
+      getcurrent();
     }
   };
   req.open('POST', '/watch', true);