diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-03-24 14:44:45 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-24 14:44:45 -0400 |
commit | dcdab80311789d08cb44a8db311963553f00fd8e (patch) | |
tree | 12a2cd34bffd3e5c5f6f7161f851f2b5ce771889 /lib | |
parent | e2f6b11fd4fc806c5cdf88cf669ed5b2d9e34caf (diff) |
Transactionalize channel operations
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 2 |
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]; |