X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=python%2Fovs%2Fprocess.py;h=4e6d44095f63be83c178438104f51984bc6f6a8c;hb=67e96a5dca90225358936b1392bba8b3207805b1;hp=f8182f197d3925d7871fb43818f6a5c283ddc3d6;hpb=8758e8a373338e409d7f2863ee91e01060f35628;p=openvswitch diff --git a/python/ovs/process.py b/python/ovs/process.py index f8182f19..4e6d4409 100644 --- a/python/ovs/process.py +++ b/python/ovs/process.py @@ -15,13 +15,15 @@ import os import signal + def _signal_status_msg(type_, signr): s = "%s by signal %d" % (type_, signr) for name in signal.__dict__: if name.startswith("SIG") and getattr(signal, name) == signr: return "%s (%s)" % (s, name) return s - + + def status_msg(status): """Given 'status', which is a process status in the form reported by waitpid(2) and returned by process_status(), returns a string describing