Ben Jackson 3edd1589c3 Try and work out why the server exit handler isn't called		2019-07-27 10:57:50 +01:00
..
vimspector	Try and work out why the server exit handler isn't called	2019-07-27 10:57:50 +01:00