From 6af36bc6d95ced58a40d6e5729f4540f74df3186 Mon Sep 17 00:00:00 2001
From: Iwasaki Yudai <yudai@arielworks.com>
Date: Wed, 7 Oct 2015 04:34:40 +0900
Subject: [PATCH] Treat ping messages properly not to lose window title

Thanks to @rgawenda at #65.
---
 resources/gotty.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/gotty.js b/resources/gotty.js
index 35aada1..891b36f 100644
--- a/resources/gotty.js
+++ b/resources/gotty.js
@@ -57,6 +57,7 @@
                 break;
             case '1':
                 // pong
+                break;
             case '2':
                 term.setWindowTitle(data);
                 break;