don't kill a non-integer pid
commit0d445057e07937e1aa8f8a0719d11f622b333e77
authorDustin J. Mitchell <dustin@zmanda.com>
Fri, 22 May 2009 18:21:32 +0000 (22 14:21 -0400)
committerDustin J. Mitchell <dustin@zmanda.com>
Fri, 22 May 2009 18:21:32 +0000 (22 14:21 -0400)
treefc4577189a7f52c965bf6ab8c348431d819a3a02
parenteee8d5cce2991d535d12eb5703537774d4c88a0e
don't kill a non-integer pid
buildbot/slave/commands.py