--- wmnd-0.4.11/src/wmnd.c.vns 2004-10-21 21:05:52 +0400 +++ wmnd-0.4.11/src/wmnd.c 2005-09-03 18:38:59 +0400 @@ -527,6 +527,12 @@ free(newcmd); } +void +ext_command_died(int n) +{ + wait(NULL); +} + #ifdef USE_TREND const char* @@ -929,6 +935,7 @@ signal(SIGINT, mainExit); signal(SIGTERM, mainExit); signal(SIGUSR1, devices_restart); + signal(SIGCHLD, ext_command_died); msg_dbg(__POSITION__, "open X display"); dispname = value("display");