graphics/xv/files/patch-xvmisc.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

--- src/xvmisc.c.orig	2023-07-17 01:25:42 UTC
+++ src/xvmisc.c
@@ -504,6 +504,7 @@ void FatalError (identifier)
 }
 
 
+extern int InSignal;
 /***********************************/
 void Quit(i)
      int i;
@@ -597,6 +598,7 @@ void Quit(i)
     }
   }
 
+  if (InSignal == 0)
   XSync(theDisp, False);
   exit(i);
 }