From f1c5196829bca38e8bbc24cac6539d6eb2e0fccc Mon Sep 17 00:00:00 2001
From: "John \"Elwin\" Edwards" <elwin@rlgallery.org>
Date: Mon, 23 Jul 2012 09:32:46 -0700
Subject: [PATCH] rlgterm.js: display the game's proper name when starting.

---
 rlgterm.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rlgterm.js b/rlgterm.js
index ae96cb7..e7c70b3 100644
--- a/rlgterm.js
+++ b/rlgterm.js
@@ -779,7 +779,7 @@ function wsStart(game) {
     var msgObject = JSON.parse(event.data);
     if (msgObject.t == 's') {
       termemu.resize(msgObject.h, msgObject.w);
-      message("You are now playing " + msgObject.g + ".");
+      message("You are now playing " + games[msgObject.g].name + ".");
     }
     else if (msgObject.t == 'd') {
       writeData(msgObject.d);