Fabio Erculiani 5793020aad [eit.main] use _exit() rather than SystemExit() exception. ...

The former is reentrant and safe to be used in signal handlers.

2013-09-05 19:22:40 +02:00

3.0 KiB

Raw Blame History

View Raw