[MPlayer-dev-eng] [PATCH] make cache process exit when parent died

[Reimar Döffinger]

Hello,
a few people (including me) have been quite annoyed with MPlayer leaving its
cache process around if it crashes in a way the signal handler cannot
handle.
Attached is a patch that makes the cache process check its parent
process ID, and if it changed it terminates itself, assuming the
main process somehow was terminated.
There is a small race condition which might cause the error message to
be printed even when MPlayer exits normally, but I think that's OK
and better than never printing anything.
Comments, testers?

Reimar
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cache_exit.diff
Type: text/x-diff
Size: 1178 bytes
Desc: not available
URL: <http://lists.mplayerhq.hu/pipermail/mplayer-dev-eng/attachments/20111127/80ba9629/attachment.bin>