diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-12-30 11:21:56 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-01-02 19:45:47 -0500 |
| commit | da13d4d20f8ca12e86863abbae5ed47bca936828 (patch) | |
| tree | 4fdc24c8de618cb1697431eda4e59808235d86d9 /make-man-rules.py | |
| parent | a9244623f785f504f799407b0228dea9655e24cb (diff) | |
core/service: check if mainpid matches only if it is set
https://bugzilla.redhat.com/show_bug.cgi?id=1047304
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions