shell: respawn desktop-shell if it dies
authorPekka Paalanen <ppaalanen@gmail.com>
Tue, 17 Jan 2012 12:36:27 +0000 (14:36 +0200)
committerKristian Høgsberg <krh@bitplanet.net>
Tue, 17 Jan 2012 15:58:52 +0000 (10:58 -0500)
commit4d733ee246798a838e4fa625b355fd058eddf3dc
treec3e7bb47ba64d08192bede892e6402e24f8b2c0a
parent39d908e63a98a6b70a708f6693dd20a7744a6d69
shell: respawn desktop-shell if it dies

If the desktop-shell client goes away for any reason, respawn it. To
avoid harmful looping, limit the respawning to 5 times within 30
seconds, and then give up.

Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>
src/shell.c