Actually after digging into the issue (see https://bugs.launchpad.net/mir/+bug/1560909/comments/17) extending the shutdown timeout will not help.
See https://code.launchpad.net/~albaguirre/mir/fix-1560909/+merge/315322 for a fix.
« Back to merge proposal
Actually after digging into the issue (see https:/ /bugs.launchpad .net/mir/ +bug/1560909/ comments/ 17) extending the shutdown timeout will not help.
See https:/ /code.launchpad .net/~albaguirr e/mir/fix- 1560909/ +merge/ 315322 for a fix.