From 9dd6362ae7488169b4dc8be9be92e3a982131cdb Mon Sep 17 00:00:00 2001
From: Alexey Milovidov <milovidov@clickhouse.com>
Date: Sun, 28 Jan 2024 13:44:56 +0100
Subject: [PATCH] Play UI: improve rendering of errors from JSON formats

---
 programs/server/play.html | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/programs/server/play.html b/programs/server/play.html
index e6662693bd7..507a96382a7 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -993,7 +993,16 @@
     function renderError(response)
     {
         clear();
-        document.getElementById('error').innerText = response ? response : "No response.";
+
+        let message = response;
+        try {
+            let json = JSON.parse(response);
+            if (json.exception) {
+                message = json.exception;
+            }
+        } catch (e) {}
+
+        document.getElementById('error').innerText = message ? message : "No response.";
         document.getElementById('error').style.display = 'block';
         document.getElementById('logo-container').style.display = 'none';
     }