1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 6cb5c60a..1f6ecb3d 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -246,7 +246,7 @@ function listener() {
       if (isok) {
         var lines = xhr.responseText.split("\n");
         if (lines.length < 2) 
-          whine("Empty message from remote server");
+          throw "Empty message from remote server";
 
         for (var i = 0; i+1 < lines.length; i += 2) {
           var chn = lines[i];