fador/mineserver — pull request #199 by Justasic (2012-04-10 13:30:53+00:00)
Title: Better signal handler

I added a better signal handler which should handle most of the common signals as they should be properly handled along with make a small report on a segmentation fault, feel free to review/modify the code and whatnot