diff options
Diffstat (limited to 'ext/wasm/fiddle/fiddle.js')
| -rw-r--r-- | ext/wasm/fiddle/fiddle.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ext/wasm/fiddle/fiddle.js b/ext/wasm/fiddle/fiddle.js index 619ce4eca..ec56dd593 100644 --- a/ext/wasm/fiddle/fiddle.js +++ b/ext/wasm/fiddle/fiddle.js @@ -730,7 +730,8 @@ -- only that part is executed. -- ================================================ .help`}, - {name: "Timer on", sql: ".timer on"}, + //{name: "Timer on", sql: ".timer on"}, + // ^^^ re-enable if emscripten re-enables getrusage() {name: "Setup table T", sql:`.nullvalue NULL CREATE TABLE t(a,b); INSERT INTO t(a,b) VALUES('abc',123),('def',456),(NULL,789),('ghi',012); @@ -775,7 +776,7 @@ SELECT group_concat(rtrim(t),x'0a') as Mandelbrot FROM a;`} }); })()/* example queries */; - SF.echo(null/*clear any output generated by the init process*/); + //SF.echo(null/*clear any output generated by the init process*/); if(window.jQuery && window.jQuery.terminal){ /* Set up the terminal-style view... */ const eTerm = window.jQuery('#view-terminal').empty(); |