icedream
/
php-language-server
1
0
Fork 0
Code Releases Activity

Add some logging

pull/183/head
Felix Becker 2016-11-28 19:37:31 +01:00
parent f09ebab6ed
commit 360b1223d4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
bin/php-language-server.php
View File

@ -52,17 +52,19 @@ if (!empty($options['tcp'])) {
fwrite(STDERR, "Could not listen on $address. Error $errno\n$errstr"); fwrite(STDERR, "Could not listen on $address. Error $errno\n$errstr");
exit(1); exit(1);
} }
fwrite(STDOUT, "Server listening on $address\n");
if (!extension_loaded('pcntl')) { if (!extension_loaded('pcntl')) {
fwrite(STDERR, 'PCNTL is not available. Only a single connection will be accepted'); fwrite(STDERR, "PCNTL is not available. Only a single connection will be accepted\n");
} }
while ($socket = stream_socket_accept($tcpServer, -1)) { while ($socket = stream_socket_accept($tcpServer, -1)) {
fwrite(STDOUT, "Connection accepted\n");
stream_set_blocking($socket, false); stream_set_blocking($socket, false);
if (extension_loaded('pcntl')) { if (extension_loaded('pcntl')) {
// If PCNTL is available, fork a child process for the connection // If PCNTL is available, fork a child process for the connection
// An exit notification will only terminate the child process // An exit notification will only terminate the child process
$pid = pcntl_fork(); $pid = pcntl_fork();
if ($pid === -1) { if ($pid === -1) {
fwrite(STDERR, 'Could not fork'); fwrite(STDERR, "Could not fork\n");
exit(1); exit(1);
} else if ($pid === 0) { } else if ($pid === 0) {
// Child process // Child process