From 5f984e282605112f8e21489550a56ca97bbf815b Mon Sep 17 00:00:00 2001
From: Kaloyan Raev <kaloyan-raev@users.noreply.github.com>
Date: Wed, 19 Oct 2016 16:22:08 +0300
Subject: [PATCH] Fix undefined index error (#96)

---
 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 ec34538..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 ($options['tcp']) {
+if (!empty($options['tcp'])) {
     $address = $options['tcp'];
     $socket = stream_socket_client('tcp://' . $address, $errno, $errstr);
     if ($socket === false) {