diff options
| author | bptato <nincsnevem662@gmail.com> | 2024-03-14 21:59:25 +0100 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2024-03-14 21:59:25 +0100 |
| commit | 515f896ae2182595876ae6510c7af3651605fab5 (patch) | |
| tree | f403eadaa9df39c7987aae448c57f585e96fe5d3 /src/js/javascript.nim | |
| parent | fefdfbaa68762f9f154b00f54b99e14e259160b5 (diff) | |
| download | chawan-515f896ae2182595876ae6510c7af3651605fab5.tar.gz | |
loader: handle connections where pid/key does not match
This can easily happen if a buffer process is killed and/or a new process takes its ID.
Diffstat (limited to 'src/js/javascript.nim')
0 files changed, 0 insertions, 0 deletions