1
0
Fork 0

Fix undefined index error (#96)

pull/98/head
Kaloyan Raev 2016-10-19 16:22:08 +03:00 committed by Felix Becker
parent 44445e3af4
commit 5f984e2826
1 changed files with 1 additions and 1 deletions

View File

@ -19,7 +19,7 @@ ErrorHandler::register();
cli_set_process_title('PHP Language Server'); cli_set_process_title('PHP Language Server');
if ($options['tcp']) { if (!empty($options['tcp'])) {
$address = $options['tcp']; $address = $options['tcp'];
$socket = stream_socket_client('tcp://' . $address, $errno, $errstr); $socket = stream_socket_client('tcp://' . $address, $errno, $errstr);
if ($socket === false) { if ($socket === false) {