WMaker: fix memory leak in workspace switching (Coverity #50126)
commit7d48855077703d3537aee39f16634cc06f2ec272
authorChristophe CURIS <christophe.curis@free.fr>
Tue, 20 May 2014 19:46:37 +0000 (20 21:46 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Tue, 20 May 2014 20:29:56 +0000 (20 21:29 +0100)
tree4db117f8f6a08ad60bb6238418774a9323071f03
parent9f2f94a17420b97d81d45bbab9764fb2716a3e12
WMaker: fix memory leak in workspace switching (Coverity #50126)

As pointed by Coverity, if there's no window to unmap in a workspace, then
the array used to build the list of the windows to be unmapped for
workspace change would not be freed.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
src/workspace.c