push: Avoid infinite wait when stopping SSH master
Update the patch introduced in commit 2f787932 "push: Avoid a race on the SSH server socket" to the latest version submitted upstream to avoid any potential infinite wait.
In some cases the SSH master did not exit after receiving SIGTERM
, so
we ended up waiting forever.
Edited by Emanuele Aina