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 | 6f9747dbea34c09ae40f9859f63ad77abc1bd950 (patch) | |
| tree | dec970c386478d5f45db5ef7601ea0699f4665b8 /lib/js | |
| parent | 8a2b82151a52f3c2e99d60b76026b22b088b9e56 (diff) | |
Fix JavaScript implementation of strcspn()
Diffstat (limited to 'lib/js')
| -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); |