From dc52a3b069ef880177095446102fda8b0aaca833 Mon Sep 17 00:00:00 2001
From: Kaloyan Raev <kaloyan.r@zend.com>
Date: Wed, 19 Oct 2016 15:27:59 +0300
Subject: [PATCH] Use empty instead of isset

---
 bin/php-language-server.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/php-language-server.php b/bin/php-language-server.php
index eb7c9ba..47e180b 100644
--- a/bin/php-language-server.php
+++ b/bin/php-language-server.php
@@ -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) {