1
0
Fork 0

Use empty instead of isset

pull/96/head
Kaloyan Raev 2016-10-19 15:27:59 +03:00
parent 494b3a2745
commit dc52a3b069
1 changed files with 1 additions and 1 deletions

View File

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