Skip to content

fix(filler): close the ship socket before a hard exit - #198

Merged
robrigo merged 1 commit into
mainfrom
fix/close-ship-socket-on-hard-exit
Aug 25, 2026
Merged

fix(filler): close the ship socket before a hard exit#198
robrigo merged 1 commit into
mainfrom
fix/close-ship-socket-on-hard-exit

fix(filler): close the ship socket before a hard exit

e63ff26
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint / typecheck / build / test
succeeded Aug 25, 2026 in 32s