diff TOOLS/psnr-video.sh @ 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 f2e90fc97a39
children abd0a4e9daa0
line wrap: on
line diff