diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-24 19:49:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-24 19:49:50 -0400 |
| commit | 9e627bd5a88b41254fc10955f7def21fa1f329fc (patch) | |
| tree | dec970c386478d5f45db5ef7601ea0699f4665b8 /lib | |
| parent | 05b10814762c3c653e72511e37c64dc67b2580c7 (diff) | |
Fix JavaScript implementation of strcspn()
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 4435bffa..56066d26 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1104,7 +1104,7 @@ function sspn(s, chs) { if (chs.indexOf(s.charAt(i)) != -1) return i; - return null; + return s.length; } function schr(s, ch) { var r = s.indexOf(ch); |