Felix Becker f56b14438b Shutdown when the socket is closed (#191)		2016-11-30 21:10:05 +01:00
..
php-language-server.php	Shutdown when the socket is closed (#191)	2016-11-30 21:10:05 +01:00