diff lib/js/urweb.js @ 1793:446e73902b09

Fix JavaScript implementation of strcspn()
author Adam Chlipala <adam@chlipala.net>
date Tue, 24 Jul 2012 19:49:50 -0400
parents 3d823d8424cc
children 4671afac15af
line wrap: on
line diff
--- a/lib/js/urweb.js	Mon Jul 23 09:03:41 2012 -0400
+++ b/lib/js/urweb.js	Tue Jul 24 19:49:50 2012 -0400
@@ -1104,7 +1104,7 @@
         if (chs.indexOf(s.charAt(i)) != -1)
             return i;
 
-    return null;
+    return s.length;
 }
 function schr(s, ch) {
     var r = s.indexOf(ch);