Fix races that occur when a window id is destroyed and recreated very quickly. This...
authorDana Jansens <danakj@orodu.net>
Mon, 18 Feb 2008 21:44:41 +0000 (16:44 -0500)
committerDana Jansens <danakj@orodu.net>
Wed, 20 Feb 2008 05:42:46 +0000 (00:42 -0500)
commit93395847717133d0210877a1efa4f18ab632293b
tree6a46fcebf9e29ab791530c268473511c7cbb6a22
parentdde2509cdc6fd79dc4c5a9fd87fe883d2a0e23eb
Fix races that occur when a window id is destroyed and recreated very quickly. This behaviour happens when restarting the window manager.

Don't use windows that are destroyed when restacking other windows or when handling events on a window id.  It is possible for the same window id to appear in the window list multiple times if it is destroyed then created before the destroy fade-out completes.
xcompmgr.c