shell.c: Not all seats have pointers
authorKristian Høgsberg <krh@bitplanet.net>
Wed, 15 Jan 2014 19:46:38 +0000 (11:46 -0800)
committerKristian Høgsberg <krh@bitplanet.net>
Wed, 15 Jan 2014 19:46:38 +0000 (11:46 -0800)
commit5cbc7634043707c3a0e442014910fc7f6db317e0
tree8bc96d5b4c694158dcc337c4ba28a17c57657c24
parentfa506b6dda941438e5325ddf09221c12a6cdbd0d
shell.c: Not all seats have pointers

Don't look up the pointer focus in ping_timeout_handler() if the
seat doesn't have a pointer.

Fixes: https://bugs.freedesktop.org/show_bug.cgi?id=73490
desktop-shell/shell.c