From c61764763491c7e443e845717814358e51899e30 Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Sat, 26 Nov 2016 13:12:15 +0100 Subject: [PATCH] Add tcp-server option to getopt() --- 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 2ba3534..738ad9d 100644 --- a/bin/php-language-server.php +++ b/bin/php-language-server.php @@ -3,7 +3,7 @@ use LanguageServer\{LanguageServer, ProtocolStreamReader, ProtocolStreamWriter}; use Sabre\Event\Loop; -$options = getopt('', ['tcp::', 'memory-limit::']); +$options = getopt('', ['tcp::', 'tcp-server::', 'memory-limit::']); ini_set('memory_limit', $options['memory-limit'] ?? -1);