From f750d9eb34375ae0dfb3d50e4bcc9d67298eb529 Mon Sep 17 00:00:00 2001
From: "John \"Elwin\" Edwards" <elwin@rlgallery.org>
Date: Wed, 20 Jun 2012 09:12:26 -0700
Subject: [PATCH] RLG-Web client: refresh the current games list.

Add a refresh button to the list of watchable games.  Also refresh it
if watching fails.
---
 index-rlg.html | 1 +
 rlgterm.js     | 1 +
 2 files changed, 2 insertions(+)

diff --git a/index-rlg.html b/index-rlg.html
index 91251a6..609bfdf 100644
--- a/index-rlg.html
+++ b/index-rlg.html
@@ -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 --git a/rlgterm.js b/rlgterm.js
index 53e9152..b2d1867 100644
--- a/rlgterm.js
+++ b/rlgterm.js
@@ -603,6 +603,7 @@ function startwatching(gamenumber) {
     }
     else if (reply.t == 'E') {
       debug(1, "Could not watch game " + gamenumber + ": " + reply.s);
+      getcurrent();
     }
   };
   req.open('POST', '/watch', true);