diff options
Diffstat (limited to 'tools/file_packager.py')
| -rw-r--r-- | tools/file_packager.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/file_packager.py b/tools/file_packager.py index 0832c1b3..1e96361c 100644 --- a/tools/file_packager.py +++ b/tools/file_packager.py @@ -142,6 +142,7 @@ if crunch: var decrunchCallbacks = []; decrunchWorker.onmessage = function(msg) { decrunchCallbacks[msg.data.callbackID](msg.data.data); + console.log('decrunched in ' + msg.data.time + ' ms'); decrunchCallbacks[msg.data.callbackID] = null; }; function requestDecrunch(data, callback) { |