# HG changeset patch
# User drewp <drewp@bigasterisk.com>
# Date 1454324948 28800
# Node ID 724cb8ea49b40269f1a5067764cd1ce22119e92d
# Parent  5d5106570128405110a992bc6fd40f0472f925fd
case check error

Ignore-this: 7d175ad43bbf538c1ba32e6ee0b64e2d

darcs-hash:bf8630b887e1e2bc4488aa2708c1dc0a3ada04e5

diff -r 5d5106570128 -r 724cb8ea49b4 service/reasoning/index.html
--- a/service/reasoning/index.html	Mon Feb 01 02:54:30 2016 -0800
+++ b/service/reasoning/index.html	Mon Feb 01 03:09:08 2016 -0800
@@ -95,7 +95,8 @@
              var p = BigastUri.compactUri(stmt[1]);
              var o = BigastUri.compactUri(stmt[2]);
 
-             if (q.toLowerCase() &&
+             q = q.toLowerCase()
+             if (q &&
                  s.toLowerCase().indexOf(q) == -1 &&
                  p.toLowerCase().indexOf(q) == -1 &&
                  o.toLowerCase().indexOf(q) == -1) {
@@ -114,11 +115,11 @@
        }
 
        function updateIn() {
-$.get("lastInputGraph", makeAddStmts($("#input"), $("#inputQ").val()));
+         $.get("lastInputGraph", makeAddStmts($("#input"), $("#inputQ").val()));
        }
        function updateOut() {
-$.get("lastOutputGraph", makeAddStmts($("#output"), $("#outputQ").val()));
-         }
+         $.get("lastOutputGraph", makeAddStmts($("#output"), $("#outputQ").val()));
+       }
        
        function update() {
 	 updateIn();