From bec24383d4c0b896ff20bf94c7edc4714976c0e1 Mon Sep 17 00:00:00 2001
From: Felix Becker <felix.b@outlook.com>
Date: Thu, 27 Oct 2016 09:49:04 +0200
Subject: [PATCH] Ignore errors when setting process title (#123)

---
 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 47e180b7..49bd29a0 100644
--- a/bin/php-language-server.php
+++ b/bin/php-language-server.php
@@ -17,7 +17,7 @@
 
 ErrorHandler::register();
 
-cli_set_process_title('PHP Language Server');
+@cli_set_process_title('PHP Language Server');
 
 if (!empty($options['tcp'])) {
     $address = $options['tcp'];