mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-21 15:12:02 +00:00
JavaScript
This commit is contained in:
parent
af53fd96a7
commit
0d2459f0de
@ -603,7 +603,7 @@
|
||||
|
||||
let history_url = window.location.pathname + '?user=' + encodeURIComponent(user);
|
||||
if (run_immediately) {
|
||||
history_url += "&run=" + (run_immediately ? 1 : 0);
|
||||
history_url += "&run=1";
|
||||
}
|
||||
if (server_address != location.origin) {
|
||||
/// Save server's address in URL if it's not identical to the address of the play UI.
|
||||
|
Loading…
Reference in New Issue
Block a user