diff options
| author | Michael Stapelberg <michael@stapelberg.de> | 2010-11-28 16:45:34 +0100 |
|---|---|---|
| committer | Michael Stapelberg <michael@stapelberg.de> | 2010-11-28 16:45:34 +0100 |
| commit | cf091024335052e4774d44179e80e1948da8610f (patch) | |
| tree | 3d02b32bdc1de833f8f201256e7945b0ae347e86 /debian/watch | |
| parent | 75670ba64a43f3382e5163b6ea7bf27de28d929b (diff) | |
Use kill(pid, 0) to check if the process is alive
Diffstat (limited to 'debian/watch')
0 files changed, 0 insertions, 0 deletions