scope icon indicating copy to clipboard operation
scope copied to clipboard

When popping out the log terminal, the underlying Scope pipe will not get deleted immediately

Open rbruggem opened this issue 7 years ago • 3 comments

rbruggem avatar Feb 01 '18 13:02 rbruggem

We cannot possible rely on the browser/client to play nice here! We must have something at the app. Are we sure there isn't something there?

rade avatar Feb 01 '18 13:02 rade

Having some code in the browser that helps in getting things cleaned up more quickly is fine. But the app should clean up even when that doesn't happen.

And this applies to all terminal windows, not just popped out log terminals.

rade avatar Feb 01 '18 13:02 rade

When closing the browser tab, the app will (eventually) read from the websocket producing read: connection reset by peer, all resources are then reclaimed.

rbruggem avatar Feb 01 '18 13:02 rbruggem