diff options
| author | Barry Warsaw | 2009-12-10 22:32:25 -0500 |
|---|---|---|
| committer | Barry Warsaw | 2009-12-10 22:32:25 -0500 |
| commit | 8938d65327611dded72c7876ffe52e4d4d12ce76 (patch) | |
| tree | 7e2d5c354dd53f1d3f8c42b4a11a9b58b2c2fcb1 /src/mailman/commands/cli_control.py | |
| parent | fbc81f61609ce0504245934d9bed0690fbd331a7 (diff) | |
| download | mailman-8938d65327611dded72c7876ffe52e4d4d12ce76.tar.gz mailman-8938d65327611dded72c7876ffe52e4d4d12ce76.tar.zst mailman-8938d65327611dded72c7876ffe52e4d4d12ce76.zip | |
Diffstat (limited to 'src/mailman/commands/cli_control.py')
| -rw-r--r-- | src/mailman/commands/cli_control.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/mailman/commands/cli_control.py b/src/mailman/commands/cli_control.py index e2c450b71..f484b196c 100644 --- a/src/mailman/commands/cli_control.py +++ b/src/mailman/commands/cli_control.py @@ -30,6 +30,7 @@ __all__ = [ import os import sys +import errno import signal import logging @@ -137,10 +138,10 @@ def kill_watcher(sig): try: os.kill(pid, sig) except OSError as error: - if e.errno != errno.ESRCH: + if error.errno != errno.ESRCH: raise print >> sys.stderr, _('No child with pid: $pid') - print >> sys.stderr, e + print >> sys.stderr, error print >> sys.stderr, _('Stale pid file removed.') os.unlink(config.PIDFILE) |
