From 446c564ad4ac3d84da8a5d9d0d682c32ba1a4a6d Mon Sep 17 00:00:00 2001
From: Janis Streib <me@janis-streib.de>
Date: Fri, 19 May 2023 16:29:02 +0200
Subject: [PATCH] FIXUP: broken signal handler
---
src/G4Export.cpp | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/G4Export.cpp b/src/G4Export.cpp
index 9f25037..97016fe 100644
--- a/src/G4Export.cpp
+++ b/src/G4Export.cpp
@@ -86,7 +86,8 @@
void sighandler(int s){
printf("Caught signal %d\n",s);
- RunCollect = 0;
+ // FIXME: Do something gracefully
+ exit(1);
}
int main(int argc,char* argv[]){
--
Gitblit v1.9.1