Felix Becker 4748fa5f17 Shutdown when the socket is closed		2016-11-30 20:45:17 +01:00
..
php-language-server.php	Shutdown when the socket is closed	2016-11-30 20:45:17 +01:00