From 86ab306ebc012714ae42cd8be48b01fed0cc669f Mon Sep 17 00:00:00 2001 From: goffioul Date: Fri, 18 Nov 2005 08:02:08 +0000 Subject: [PATCH] Fix error reporting on serious signals. --- src/c/unixint.d | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/c/unixint.d b/src/c/unixint.d index 01a7866c0..1ec09ae1f 100644 --- a/src/c/unixint.d +++ b/src/c/unixint.d @@ -113,7 +113,7 @@ handle_signal(int sig) FEerror("Segmentation violation.", 0); break; default: - FEerror("Serious signal ~D caught.", 0, MAKE_FIXNUM(sig)); + FEerror("Serious signal ~D caught.", 1, MAKE_FIXNUM(sig)); } }