comparison 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
comparison
equal deleted inserted replaced
670:f73913d97a40 671:729e65db2e2f
244 } catch (e) { } 244 } catch (e) { }
245 245
246 if (isok) { 246 if (isok) {
247 var lines = xhr.responseText.split("\n"); 247 var lines = xhr.responseText.split("\n");
248 if (lines.length < 2) 248 if (lines.length < 2)
249 whine("Empty message from remote server"); 249 throw "Empty message from remote server";
250 250
251 for (var i = 0; i+1 < lines.length; i += 2) { 251 for (var i = 0; i+1 < lines.length; i += 2) {
252 var chn = lines[i]; 252 var chn = lines[i];
253 var msg = lines[i+1]; 253 var msg = lines[i+1];
254 254