mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-30 01:15:52 +00:00
0a85f41bf0
PR: 143043
20 lines
317 B
C
20 lines
317 B
C
--- xvmisc.c.orig 2010-02-11 14:29:41.000000000 +0100
|
|
+++ xvmisc.c 2010-02-11 15:25:03.000000000 +0100
|
|
@@ -504,6 +504,7 @@
|
|
}
|
|
|
|
|
|
+extern int InSignal;
|
|
/***********************************/
|
|
void Quit(i)
|
|
int i;
|
|
@@ -601,7 +619,8 @@
|
|
}
|
|
}
|
|
|
|
+ if (InSignal == 0)
|
|
XSync(theDisp, False);
|
|
exit(i);
|
|
}
|
|
|