diff options
author | Adam Jackson <ajax@redhat.com> | 2008-12-01 11:36:06 -0500 |
---|---|---|
committer | Adam Jackson <ajax@redhat.com> | 2008-12-01 11:36:06 -0500 |
commit | b0d371ab0a6efd4956c3677faa20b2ac15c33765 (patch) | |
tree | 733a4770efa3c7e761abacecefa809442bdd5444 | |
parent | 16b11cd03d8c5def07f0e598f237f71a37883a46 (diff) |
randr: Don't send output property events on server exit
If the Window resource type is already gone, there's no point in trying
to send events, all it can do is access already-freed memory.
Relevant thread:
http://lists.freedesktop.org/archives/xorg/2008-November/040443.html
-rw-r--r-- | randr/rrproperty.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/randr/rrproperty.c b/randr/rrproperty.c index decf6cb37..b2d414654 100644 --- a/randr/rrproperty.c +++ b/randr/rrproperty.c | |||
@@ -59,7 +59,8 @@ DeliverPropertyEvent(WindowPtr pWin, void *value) | |||
59 | 59 | ||
60 | static void RRDeliverPropertyEvent(ScreenPtr pScreen, xEvent *event) | 60 | static void RRDeliverPropertyEvent(ScreenPtr pScreen, xEvent *event) |
61 | { | 61 | { |
62 | WalkTree(pScreen, DeliverPropertyEvent, event); | 62 | if (!(dispatchException & (DE_RESET | DE_TERMINATE))) |
63 | WalkTree(pScreen, DeliverPropertyEvent, event); | ||
63 | } | 64 | } |
64 | 65 | ||
65 | _X_EXPORT void | 66 | _X_EXPORT void |