diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-06-01 11:53:22 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-06-01 11:53:22 -0700 |
| commit | 6416c0e8390ac82238a7605b3ec9b60b93cf3c4e (patch) | |
| tree | 106ff12ba8bfe7b392185a17c43ccd6bfc595cc7 /src/shell.html | |
| parent | 86996a629ff53c6b4e325715b936bf9cacef4749 (diff) | |
but disable dump by default
Diffstat (limited to 'src/shell.html')
| -rw-r--r-- | src/shell.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shell.html b/src/shell.html index 17283c8f..dad50b9f 100644 --- a/src/shell.html +++ b/src/shell.html @@ -37,7 +37,7 @@ }; })(), printErr: function(text) { - if (typeof dump == 'function') { + if (0) { // XXX disabled for safety typeof dump == 'function') { dump(text + '\n'); // fast, straight to the real console } else { console.log(text); |