diff options
Diffstat (limited to 'src/library_browser.js')
| -rw-r--r-- | src/library_browser.js | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/library_browser.js b/src/library_browser.js index a6a420fa..48b6d8af 100644 --- a/src/library_browser.js +++ b/src/library_browser.js @@ -144,3 +144,17 @@ mergeInto(LibraryManager.library, { } }); +/* Useful stuff for browser debugging + +function slowLog(label, text) { + if (!slowLog.labels) slowLog.labels = {}; + if (!slowLog.labels[label]) slowLog.labels[label] = 0; + var now = Date.now(); + if (now - slowLog.labels[label] > 1000) { + Module.print(label + ': ' + text); + slowLog.labels[label] = now; + } +} + +*/ + |