diff options
author | Simon Ser <contact@emersion.fr> | 2020-01-09 13:52:36 +0100 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2020-01-09 07:48:30 -0700 |
commit | 802ef9da8a1c3fa940d76c60f5bf635afa0b16fb (patch) | |
tree | a4061b3f0a3d21df04386e36110e1a6224f0cba5 /examples/.gitignore | |
parent | e6fd880686a1bec793eef16cd502ba41bde9a64e (diff) |
backend/wayland: handle display errors more gracefully
Previously, an error on the remote Wayland display would result in an
infinite loop priting:
2020-01-09 13:39:03 - [wayland] Source dispatch function returned negative value!
2020-01-09 13:39:03 - [wayland] This would previously accidentally suppress a follow-up dispatch
This happens when the remote compositor disconnects the client because
of a protocol error, for instance.
Handle wl_display_dispatch and wl_display_dispatch_pending returning -1
by terminating the local display and printing an error.
Diffstat (limited to 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions