From fe6d2189a708317ab179eca533e6e1ed5126086c Mon Sep 17 00:00:00 2001
From: Alan Bernstein <alan.aaron.bernstein@gmail.com>
Date: Tue, 25 Apr 2017 12:10:27 -0500
Subject: [PATCH] Change output background to red on error

---
 webui/assets/main.js   |  7 ++++++-
 webui/assets/style.css | 10 ++++++++--
 2 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/webui/assets/main.js b/webui/assets/main.js
index bf16cb2df..a91391a38 100644
--- a/webui/assets/main.js
+++ b/webui/assets/main.js
@@ -93,6 +93,11 @@ class REPL {
     createSingleOutput(res) {
       var node = document.createElement("div");
       node.classList.add('output');
+      var result_class = "result-output"
+      var output = JSON.parse(res['output'])
+      if("error" in output) {
+        result_class = "result-error"
+      }
       var markup =`
         <div  class="panes">
           <div class="pane active">
@@ -112,7 +117,7 @@ class REPL {
                 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
                 <em>${res.querytime_ms} ms</em>
               </div>
-              <div class="result-ouput">
+              <div class="${result_class}">
                 ${res.output}
               </div>
             </div>
diff --git a/webui/assets/style.css b/webui/assets/style.css
index 940d6657f..a4ed3df1f 100644
--- a/webui/assets/style.css
+++ b/webui/assets/style.css
@@ -192,7 +192,8 @@ em{
 }
 
 .result-input,
-.result-ouput{
+.result-output,
+.result-error{
   border-radius: 2px;
   background-color: #fafafa;
   border: solid 1.5px #e4eff4;
@@ -206,11 +207,16 @@ em{
 }
 
 
-.result-ouput{
+.result-output{
   background-color: #edf9f7;
   border-left: solid 4px #1db598;
 }
 
+.result-error{
+  background-color: #f9edf4;
+  border-left: solid 4px #b51d78;
+}
+
 
 .raw{
   height: 253px;