# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1340208746 25200
# Node ID e63c26dc0497cc393f0584b71cc673126f809430
# Parent  e3082fd06520fc281bb7d88ba39c6dcaacdaaa4f
RLG-Web client: refresh the current games list.

Add a refresh button to the list of watchable games.  Also refresh it
if watching fails.

diff -r e3082fd06520 -r e63c26dc0497 index-rlg.html
--- 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>
diff -r e3082fd06520 -r e63c26dc0497 rlgterm.js
--- 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);