shell: Fix a potential NULL pointer dereference
authorPhilip Withnall <philip.withnall@collabora.co.uk>
Mon, 25 Nov 2013 18:01:45 +0000 (18:01 +0000)
committerKristian Høgsberg <krh@bitplanet.net>
Mon, 2 Dec 2013 19:44:51 +0000 (11:44 -0800)
commit2c3849be91338b0f4d27d264b6a122078f0ffb63
tree49fa7179c185f043986244cf73c1e5d2e99d68df
parent648a4dd3ece4e5a2172361fbf82c634be0e17894
shell: Fix a potential NULL pointer dereference

get_shell_surface() may return NULL. Found by scan-build.
src/shell.c