X-Git-Url: https://git.wh0rd.org/?p=dump.git;a=blobdiff_plain;f=dump%2Fmain.c;h=13d15be1b5a355693ef7a82eb73d44ce316680d4;hp=3f114c9e921ada33c97ab6ab10f1685f46abb649;hb=fbcd1b549f547558a95ca45dc3f2b50c21f81921;hpb=cfa03414886424d1dcc4ca41210c26d54204c444

diff --git a/dump/main.c b/dump/main.c
index 3f114c9..13d15be 100644
--- a/dump/main.c
+++ b/dump/main.c
@@ -41,7 +41,7 @@
 
 #ifndef lint
 static const char rcsid[] =
-	"$Id: main.c,v 1.43 2001/04/10 13:42:22 stelian Exp $";
+	"$Id: main.c,v 1.44 2001/04/11 15:24:03 stelian Exp $";
 #endif /* not lint */
 
 #include <config.h>
@@ -917,7 +917,7 @@ sig(int signo)
 	case SIGTRAP:
 		if (pipeout)
 			quit("Signal on pipe: cannot recover\n");
-		msg("Rewriting attempted as response to unknown signal.\n");
+		msg("Rewriting attempted as response to unknown signal: %d.\n", signo);
 		(void)fflush(stderr);
 		(void)fflush(stdout);
 		close_rewind();