~mir-team/mir/liberate-historical-pointer-coordinates

Viewing all changes in revision 1920.

server: Work around unresponsive clients causing the server to hang (LP: #1350207). Fixes: https://bugs.launchpad.net/bugs/1350207.

Approved by Daniel van Vugt, Alberto Aguirre, Kevin DuBois, Chris Halse Rogers, PS Jenkins bot.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: