diff options
-rw-r--r-- | include/os.h | 2 | ||||
-rw-r--r-- | os/utils.c | 12 |
2 files changed, 14 insertions, 0 deletions
diff --git a/include/os.h b/include/os.h index dad1af787..453ab82c7 100644 --- a/include/os.h +++ b/include/os.h @@ -262,6 +262,8 @@ extern _X_EXPORT void OsBlockSignals (void); extern _X_EXPORT void OsReleaseSignals (void); +extern _X_EXPORT void OsAbort (void); + #if !defined(WIN32) extern _X_EXPORT int System(char *); extern _X_EXPORT pointer Popen(char *, char *); diff --git a/os/utils.c b/os/utils.c index 79399fa53..21e25e066 100644 --- a/os/utils.c +++ b/os/utils.c @@ -1310,6 +1310,18 @@ OsReleaseSignals (void) #endif } +/* + * Pending signals may interfere with core dumping. Provide a + * mechanism to block signals when aborting. + */ + +void +OsAbort (void) +{ + OsBlockSignals(); + abort(); +} + #if !defined(WIN32) /* * "safer" versions of system(3), popen(3) and pclose(3) which give up |