projects / platform / upstream / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e8ad5a) | patch
(tail_forever): Don't call kill if pid is 0.
authorJim Meyering <jim@meyering.net>
Sat, 31 Jul 1999 09:21:32 +0000 (09:21 +0000)
committerJim Meyering <jim@meyering.net>
Sat, 31 Jul 1999 09:21:32 +0000 (09:21 +0000)
commitca47081c5bc7759a88eaf9eebf3ae163c0aed2f9
treee26c64a256cd0793d15c9a5a56b898507842f6a1tree | snapshot
parent5e8ad5a5773b5d2e2c1d266e6287263b3ea225a5commit | diff
(tail_forever): Don't call kill if pid is 0.
Detect when `writer_is_dead' also when the writer is some other user.
From Karl Heuer.

(parse_options): Warn if --pid=PID is used without -f.
src/tail.c diff | blob | history
Domain: System / Uncategorized;