@@ -232,31 +232,18 @@ function debuggerInit(debugModule, runtime, hotSwapState) {
232232 currentEventIndex = 0;
233233 }
234234
235− assert(index >= currentEventIndex, "index must be bad");
236235 while (currentEventIndex < index) {
237236 var nextEvent = debugModule.getRecordedEventAt(currentEventIndex);
238237 runtime.notify(nextEvent.id, nextEvent.value, nextEvent.timestep);
239238
240239 currentEventIndex += 1;
241240 }
242− assert(currentEventIndex == index, "while loop didn't work");
243241 }
244242
245243 function getMaxSteps() {
246244 return debugModule.getRecordedEventsLength();
247245 }
248246
249− function doPlayback(eventList) {
250− var x = eventList.shift();
251− var time = x[2];
252− runtime.notify(x[0], x[1], x[2]);
253−
254− if (eventList.length > 0) {
255− var delta = eventList[0][2] - time;
256− setTimeout(function() { doPlayback(eventList); }, delta);
257− }
258− }
259−
260247 function redrawGraphics() {
261248 var main = debugModule.debuggedModule.main
262249 for (var i = main.kids.length ; i-- ; ) {