diff options
Diffstat (limited to 'packages/novice-web/novice-web/workers/debugger/debugger-worker.ts')
| -rw-r--r-- | packages/novice-web/novice-web/workers/debugger/debugger-worker.ts | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/packages/novice-web/novice-web/workers/debugger/debugger-worker.ts b/packages/novice-web/novice-web/workers/debugger/debugger-worker.ts index 90934cb..df12bdb 100644 --- a/packages/novice-web/novice-web/workers/debugger/debugger-worker.ts +++ b/packages/novice-web/novice-web/workers/debugger/debugger-worker.ts @@ -57,6 +57,20 @@ class DebuggerWorker extends BaseWorker<DebuggerFrontendMessage, throw new Error('must reset before unstepping'); } + // Maintain the lie that the debugger "freezes" on a halt by + // double-unstepping on halts. Without this, after executing a + // halt, it seems like nothing happened. + // + // We do this here instead of the frontend in case the + // frontend batches up n unstep requests while sitting + // on a halt before getting any machine state updates + // from the debugger worker. In such a case, if we did + // this check in the frontend, we would send 2n unstep + // requests instead of correctly sending n + 1. + if (this.dbg.isHalted() && this.dbg.getLogLength() > 1) { + this.dbg.unstep(); + } + this.dbg.unstep(); break; |