Revert "Revert "Push reported""

This reverts commit 107adad647.
This commit is contained in:
Michael "Z" Goddard 2018-04-10 16:29:51 -04:00
parent 5b9dc4df77
commit d04d6b2c6a
No known key found for this signature in database
GPG key ID: 762CD40DD5349872
8 changed files with 198 additions and 65 deletions
src/engine

View file

@ -196,7 +196,11 @@ class Sequencer {
this.runtime.profiler.records.push(
this.runtime.profiler.START, executeProfilerId, null, performance.now());
}
execute(this, thread);
if (thread.target === null) {
this.retireThread(thread);
} else {
execute(this, thread);
}
if (this.runtime.profiler !== null) {
// this.runtime.profiler.stop();
this.runtime.profiler.records.push(this.runtime.profiler.STOP, performance.now());