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) static void RRDeliverPropertyEvent(ScreenPtr pScreen, xEvent *event) { - WalkTree(pScreen, DeliverPropertyEvent, event); + if (!(dispatchException & (DE_RESET | DE_TERMINATE))) + WalkTree(pScreen, DeliverPropertyEvent, event); } _X_EXPORT void |