Keep an ended link ended, and pin the drop a listener closes over
Mirror / push (push) Successful in 6s
Test / lint (pull_request) Successful in 23s
Test / test (18) (pull_request) Successful in 32s
Test / test (20) (pull_request) Successful in 31s
Test / test (22) (pull_request) Successful in 32s
Test / test (24) (pull_request) Successful in 32s
Test / test (26) (pull_request) Successful in 32s

This commit is contained in:
2026-09-28 21:36:31 +02:00
parent fe320d23a8
commit 242eb30ab3
4 changed files with 49 additions and 4 deletions
+3 -1
View File
@@ -91,8 +91,10 @@ export class LinkLife {
return () => this.wait(deadline, signal);
}
/** A socket from the reconnect loop, not yet bound. */
/** A socket from the reconnect loop, not yet bound. An ended session stays ended. */
attach(): void {
if (this.isOver()) return;
this.phase = 'binding';
}