You're right, we need some sort of timeout, given that normal termination is unreliable. Ideally, the timeout would be based on inactivity, rather than total time, but I think this patch is a net win. Please land.
« Back to merge proposal
You're right, we need some sort of timeout, given that normal termination is unreliable. Ideally, the timeout would be based on inactivity, rather than total time, but I think this patch is a net win. Please land.