comparison lib/js/urweb.js @ 961:8c37699de273

Grid sorting working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:32:33 -0400
parents 2412cb10c97c
children 1b80b9df0d32
comparison
equal deleted inserted replaced
960:6f34950825b6 961:8c37699de273
504 return {_1:d, _2:l}; 504 return {_1:d, _2:l};
505 } else 505 } else
506 throw ("Can't unmarshal list (" + tok + ")"); 506 throw ("Can't unmarshal list (" + tok + ")");
507 } 507 }
508 508
509 function strcmp(str1, str2) {
510 return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
511 }
509 512
510 513
511 // Remote calls 514 // Remote calls
512 515
513 var client_id = null; 516 var client_id = null;