FIXUP: broken signal handler

Janis Streib

19.05.23 446c564ad4ac3d84da8a5d9d0d682c32ba1a4a6d

FIXUP: broken signal handler

 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[]){