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 =`
@@ -112,7 +117,7 @@ class REPL {        ${res.querytime_ms} ms
-
+
${res.output}
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;