mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 04:20:27 +01:00
As pointed by Coverity (#50074), despite the expected behaviour that 'wmalloc' should never return NULL, it may still happen if an abort handler set by user (with wsetabort) does not call exit() as expected. In such case we call exit ourself to be sure not to return NULL. Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
4.3 KiB
4.3 KiB