thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-09-20 08:40:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'vdimir-play' of github.com:ClickHouse/ClickHouse into vdimir-play

Browse Source
This commit is contained in:
Alexey Milovidov 2022-05-02 03:27:18 +02:00
commit cdf858c6af
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
programs/server/play.html
View File

@ -275,7 +275,6 @@
td.transposed td.transposed
{ {
max-width: none; max-width: none;
/* The content is cut unless you hover. */
overflow: auto; overflow: auto;
white-space: pre-wrap; white-space: pre-wrap;
} }
@ -417,8 +416,6 @@
/// This is to avoid race conditions. /// This is to avoid race conditions.
let request_num = 0; let request_num = 0;
let last_response = null;
/// Save query in history only if it is different. /// Save query in history only if it is different.
let previous_query = ''; let previous_query = '';
@ -558,7 +555,6 @@
function clear() function clear()
{ {
last_response = null;
let table = document.getElementById('data-table'); let table = document.getElementById('data-table');
while (table.firstChild) { while (table.firstChild) {
table.removeChild(table.lastChild); table.removeChild(table.lastChild);
@ -608,7 +604,6 @@
{ {
clear(); clear();
last_response = response;
let stats = document.getElementById('stats'); let stats = document.getElementById('stats');
const seconds = response.statistics.elapsed.toFixed(3); const seconds = response.statistics.elapsed.toFixed(3);
const rows = response.statistics.rows_read; const rows = response.statistics.rows_read;