diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-02-19 13:36:17 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-02-20 16:02:18 -0500 |
| commit | 5c5d9f26d69060a72d63fa8dcd0ee3d3c75fb9f5 (patch) | |
| tree | ae92676ebfb3fb7854be40fe715ca1185f75875d /src/core | |
| parent | f28501279d2c28fdbb31d8273b723e9bf71d3b98 (diff) | |
core/killall: add (void)
CID #1368238.
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/killall.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/core/killall.c b/src/core/killall.c index 7a9df546ee..3fe9fa2ed0 100644 --- a/src/core/killall.c +++ b/src/core/killall.c @@ -213,7 +213,8 @@ static int killall(int sig, Set *pids, bool send_sighup) { if (get_ctty_devnr(pid, NULL) >= 0) - kill(pid, SIGHUP); + /* it's OK if the process is gone, just ignore the result */ + (void) kill(pid, SIGHUP); } } |