Added support for timer reporter.

2013-10-30 15:50:29 +02:00 · 2013-10-30 15:50:29 +02:00 · 296e2fa35c
commit 296e2fa35c
parent ebef6d5294
2 changed files with 4 additions and 0 deletions
--- a/js/Runtime.js
+++ b/js/Runtime.js
@ -75,6 +75,7 @@ Runtime.prototype.greenFlag = function() {
    if (this.projectLoaded) {
        interp.activeThread = new Thread(null);
        interp.threads = [];
+        interp.primitiveTable.timerReset();
        this.startGreenFlags();
    }
 }