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

Undefined index error (#95)

pull/96/head
Kaloyan Raev 2016-10-19 15:20:04 +03:00
parent 44445e3af4
commit 494b3a2745
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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