diff options
| author | J08nY | 2017-07-25 21:44:54 +0200 |
|---|---|---|
| committer | J08nY | 2017-08-07 17:39:08 +0200 |
| commit | 8addebbf9802e911c06f6a27b7ffff1e0f1d2e57 (patch) | |
| tree | 392b50bf726d790102a6036b7aae7e3aa4228720 /src/mailman/bin/master.py | |
| parent | cc99242654f2bcc11b3a6f124908de4b175c48d4 (diff) | |
| download | mailman-pluggable-components.tar.gz mailman-pluggable-components.tar.zst mailman-pluggable-components.zip | |
Diffstat (limited to 'src/mailman/bin/master.py')
| -rw-r--r-- | src/mailman/bin/master.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mailman/bin/master.py b/src/mailman/bin/master.py index a23fb8e0b..ccaa16398 100644 --- a/src/mailman/bin/master.py +++ b/src/mailman/bin/master.py @@ -405,7 +405,7 @@ class Loop: except InterruptedError: # pragma: nocover # If the system call got interrupted, just restart it. continue - if pid not in self._kids: + if pid not in self._kids: # pragma: nocover # Not a runner subprocess, maybe a plugin started one # ignore it continue |