-
Nils Goroll authored
Yes, I know, this is far from perfect, but it does not require any changes outside the signal handler and will hopefully simplify error report handling significantly. Ref #2643
17f4c18e
Yes, I know, this is far from perfect, but it does not require any changes outside the signal handler and will hopefully simplify error report handling significantly. Ref #2643