emergency brake for spinner output

This commit is contained in:
Eugene Pankov 2021-08-28 16:42:11 +02:00
parent 4f244a126c
commit 5b0a7b39b7
No known key found for this signature in database
GPG key ID: 5896FCBBDD1CF4F4

View file

@ -130,7 +130,13 @@ export class BaseTerminalTabComponent extends BaseTabComponent implements OnInit
private sessionSupportsBracketedPaste = false
private spinner = new Spinner({
stream: {
write: x => this.writeRaw(x),
write: x => {
try {
this.writeRaw(x)
} catch {
this.spinner.stop()
}
},
},
})
private spinnerActive = false