diff options
| author | emersion <contact@emersion.fr> | 2018-09-19 11:29:48 +0200 |
|---|---|---|
| committer | emersion <contact@emersion.fr> | 2018-09-19 11:29:48 +0200 |
| commit | ac28d701c0c06de5f319ea24eb817913a7bfe75f (patch) | |
| tree | dfaa9570b244f79a36c21a83fc1edb7eff5b2b5b /examples/.gitignore | |
| parent | 3693fae0c44d83cab2c701bd44b80d8f6242781e (diff) | |
buffer: disconnect clients that commit an unknown buffer type
If this happens, something went really wrong and we should do more
than just logging an error. See [1].
[1]: https://gitlab.freedesktop.org/wayland/weston/issues/148
Diffstat (limited to 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions