diff options
Diffstat (limited to 'editors/vscode/client/vmproc.js')
| -rw-r--r-- | editors/vscode/client/vmproc.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/vscode/client/vmproc.js b/editors/vscode/client/vmproc.js index d4806e4..8ce8c52 100644 --- a/editors/vscode/client/vmproc.js +++ b/editors/vscode/client/vmproc.js @@ -51,6 +51,9 @@ function vmProcess(dir, opts = {}) { dead = true; log(status === 0 ? 'message' : 'problem', 'the vm halted with status ' + status + ' after ' + steps + ' steps, ' + bytesIn + ' bytes in, ' + bytesOut + ' out'); proc.emit('exit', status); + } else if (status === 3 && vm.polling) { + // the server asked whether input is waiting: let the event loop deliver it, then go on + setImmediate(() => { if (!dead && vm.polling) after(vm.resume()); }); } }; |
