comparison tests/killdaemons.py @ 49309:d54b213c4380

py3: catch ProcessLookupError instead of checking errno == ESRCH

49308:d2adebe35635

#!/usr/bin/env python3

import errno
import os
import signal
import sys
import time

            else:
                time.sleep(0.1)
                os.kill(pid, 0)
            logfn('# Daemon process %d is stuck - really killing it' % pid)
            os.kill(pid, signal.SIGKILL)
        except OSError as err:
            if err.errno != errno.ESRCH:
                raise


def killdaemons(pidfile, tryhard=True, remove=False, logfn=None):
    if not logfn:
        logfn = lambda s: s

49309:d54b213c4380

#!/usr/bin/env python3

import os
import signal
import sys
import time

            else:
                time.sleep(0.1)
                os.kill(pid, 0)
            logfn('# Daemon process %d is stuck - really killing it' % pid)
            os.kill(pid, signal.SIGKILL)
        except ProcessLookupError:
            pass


def killdaemons(pidfile, tryhard=True, remove=False, logfn=None):
    if not logfn:
        logfn = lambda s: s