Fix a funny bug that caused a closed port to be used

1 files changed, 0 insertions, 10 deletions

diff --git a/src/js/fiveui/injected/compute.js b/src/js/fiveui/injected/compute.js
index 8fc7a84..7ba4af4 100644
--- a/src/js/fiveui/injected/compute.js
+++ b/src/js/fiveui/injected/compute.js
@@ -90,15 +90,6 @@
      core.port.emit('ReportProblem', prob);
    };
 
-   core.resetStats = function() {
-     core.reportStats(
-       { start:    0
-       , end:      0
-       , numRules: 0
-       , numElts:  0
-       });
-   };
-
    core.reportStats = function(stats) {
      core.port.emit('ReportStats', stats);
    };
@@ -356,6 +347,5 @@
    };
 
    registerBackendListeners(core.port);
-   core.resetStats();
 })();