diff options
| author | C. McEnroe | 2021-06-15 16:59:24 -0400 |
|---|---|---|
| committer | C. McEnroe | 2021-06-15 16:59:24 -0400 |
| commit | d2bec49931decfd893c03c28382816cac28ed59e (patch) | |
| tree | 40c51628950735269b81bb3181284cce0ea57414 /scripts/chroot-man.sh | |
| parent | b690bd0b83ffb6d29a1cd373635864bd1b086ac7 (diff) | |
Send PINGs when server is quiet and die if no response
Every time we receive from the server, reset a timer. The first time the timer triggers, send a PING. The second time the timer triggers, die from ping timeout. I'm not sure about these two intervals: 2 minutes of idle before a PING, 30s for the server to respond to the PING.
Diffstat (limited to 'scripts/chroot-man.sh')
0 files changed, 0 insertions, 0 deletions