-
Committer:
Alexey Kopytov
-
Date:
2013-08-18 07:14:43 UTC
-
Revision ID:
akopytov@gmail.com-20130818071443-usmcmxsu1f0w8tv9
Follow fix for bug #1135441:
Do exit a child process when it's terminated with a fatal signal, even
if we want it to exit silently.