diff options
| author | Shawn O. Pearce <sop@google.com> | 2009-06-16 11:49:10 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2009-06-16 11:49:10 -0700 |
| commit | 26120ca18dd8c2567b0df5a533d52d53c4111bc2 (patch) | |
| tree | 08168f9a38f9498fb8abb348204a5bb97dcf1e7c /error.py | |
| parent | 7da73d6f3ba579c67e58499b785dc4ac5beb9391 (diff) | |
| download | git-repo-26120ca18dd8c2567b0df5a533d52d53c4111bc2.tar.gz | |
Don't crash if the ssh client is already dead
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>
Diffstat (limited to 'error.py')
0 files changed, 0 insertions, 0 deletions