mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-04-22 14:09:50 +00:00
If the SSH client terminated abnormally in the background (e.g. the server shutdown while we were doing a sync) then the pid won't exist. Instead of crashing, ignore it, the result we wanted (a non-orphaned ssh process) is already acheived. Signed-off-by: Shawn O. Pearce <sop@google.com>
Description
Languages
Python
98.9%
Shell
1%
Roff
0.1%