summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Samuel Dukhovni <dukhovni@mit.edu>2014-07-28 20:18:43 -0400
committerGravatar Samuel Dukhovni <dukhovni@mit.edu>2014-07-28 20:18:43 -0400
commita2fe25bdc2883d7e6e780a863890f5badb665cdb (patch)
tree77854e5304e14bc9e719dcbfb05a3726cde5b58a /lib
parent3c7244702ffe905a617cd4a1fa26d456e5c8d88c (diff)
Added javascript for Basis.strsindex
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c3cab50a..76a900f7 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1212,6 +1212,13 @@ function sidx(s, ch) {
else
return r;
}
+function ssidx(h, n) {
+ var r = h.indexOf(n);
+ if (r == -1)
+ return null;
+ else
+ return r;
+}
function sspn(s, chs) {
for (var i = 0; i < s.length; ++i)
if (chs.indexOf(s.charAt(i)) != -1)