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 /protocol/gtk-primary-selection.xml | |
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 'protocol/gtk-primary-selection.xml')
0 files changed, 0 insertions, 0 deletions