diff lib/js/urweb.js @ 671:729e65db2e2f

Transactionalize channel operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Mar 2009 14:44:45 -0400
parents f73913d97a40
children df6eb58de040
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Mar 22 16:03:45 2009 -0400
+++ b/lib/js/urweb.js	Tue Mar 24 14:44:45 2009 -0400
@@ -246,7 +246,7 @@
       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];