diff 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
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Sep 19 10:56:09 2009 -0400
+++ b/lib/js/urweb.js	Sat Sep 19 13:32:33 2009 -0400
@@ -506,6 +506,9 @@
     throw ("Can't unmarshal list (" + tok + ")");
 }
 
+function strcmp(str1, str2) {
+  return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
+}
 
 
 // Remote calls