diff TOOLS/emboss.fp @ 25623:b955a135e3a8

Do not use exit_player in the signal handler, this code just can not be called from a signal handler. Instead only make the input system generate quit commands for the first CTRL+C and otherwise do getch2_disable and exit.
author reimar
date Tue, 08 Jan 2008 21:40:44 +0000
parents cae067bfc231
children
line wrap: on
line diff