MathWebSearch / mws

MathWebSearch Implementation
https://search.mathweb.org/
GNU General Public License v3.0
46 stars 12 forks source link

signal handler which unmaps the index #50

Closed cprodescu closed 10 years ago

cprodescu commented 10 years ago

In case there is a crash (sigabort, sigsegv, ...), the system default behavior is to drop a core file. This won't happen with the index mapped in, since the size of the core dump is capped.

There should be a signal handler which unmaps the index, restores the original signal mask and then lets the process take the crash and core dump.