# HG changeset patch
# User drewp@bigasterisk.com
# Date 1454324948 28800
# Node ID 3f355dd1687c66fbb2a7a851fa1175e593f05c58
# Parent  7a9836d51b0e83428643e219cd8b323cb3afa4ea
case check error
Ignore-this: 7d175ad43bbf538c1ba32e6ee0b64e2d

diff -r 7a9836d51b0e -r 3f355dd1687c 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();