From 08bbe52588b9d195295f1b5aca14c88a9ae3ea3c Mon Sep 17 00:00:00 2001
From: Samuel Dukhovni <dukhovni@mit.edu>
Date: Mon, 28 Jul 2014 20:18:43 -0400
Subject: Added javascript for Basis.strsindex

---
 lib/js/urweb.js | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/js')

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)
-- 
cgit v1.2.3