|
From: <sv...@va...> - 2006-10-05 10:32:53
|
Author: sewardj
Date: 2006-10-05 11:32:48 +0100 (Thu, 05 Oct 2006)
New Revision: 6190
Log:
If the child exits with a signal, make the launcher exit with the same
signal, so that the appearance to the outside observer is the same as
if Valgrind had not been used to run the child. This also makes the
behaviour the same as on Linux.
Modified:
branches/AIX5/coregrind/launcher-aix5.c
Modified: branches/AIX5/coregrind/launcher-aix5.c
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- branches/AIX5/coregrind/launcher-aix5.c 2006-10-05 08:55:30 UTC (rev =
6189)
+++ branches/AIX5/coregrind/launcher-aix5.c 2006-10-05 10:32:48 UTC (rev =
6190)
@@ -1603,12 +1603,14 @@
return WEXITSTATUS(status);
}=20
else if (WIFSIGNALED(status)) {
- VG_(debugLog)(0, "launcher",
+ VG_(debugLog)(1, "launcher",
"parent: child exited on signal %d\n",
- WTERMSIG(status));
+ (int)WTERMSIG(status));
+ /* Since the child exited with a signal, we'd better
+ whack ourselves on the head with the same signal. */
+ kill( getpid(), (int)WTERMSIG(status) );
+ /* presumably NOTREACHED? */
return 0; /* This is completely bogus */
- /* Better: since the child exited with a signal, we'd better
- whack ourselves on the head with the same signal. Duh. */
}=20
else {
/* erm. Can we ever get here? */
|