Singular/Sources — pull request #316 by steenpass (2013-04-09 16:06:53+00:00)
Title: further preparations for signal handling in a dedicated thread

Porting to spielwiese will be done as soon as earlier commits related to the link interface are ported.