adapt signal handler to new SourceFile code
adapt signal handler to new SourceFile code


stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis,stefanseefeld/synopsis