This commit is contained in:
jl777
2019-02-17 21:30:29 -11:00
parent 533c2e564d
commit 444a5de9bc

View File

@@ -743,7 +743,7 @@ my_exit(int st)
{
uint32_t counter;
resetltchars();
if ( globalR.guiflag != 0 )
if ( globalR.guiflag != 0 || globalR.sleeptime != 0 )
exit(st);
else if ( counter++ < 10 )
{