From 3c33e7f46602c71c81d6bbbc557653db76a1363b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Steitz?= <juergen.esipov@googlemail.com>
Date: Sat, 18 Feb 2017 20:05:21 +0100
Subject: [PATCH] Initialize options with default values when not provided by
 client

---
 src/LanguageServer.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/LanguageServer.php b/src/LanguageServer.php
index 7e5074b..d3b1c5c 100644
--- a/src/LanguageServer.php
+++ b/src/LanguageServer.php
@@ -191,6 +191,7 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
             $this->projectIndex = new ProjectIndex($sourceIndex, $dependenciesIndex, $this->composerJson);
             $stubsIndex = StubsIndex::read();
             $this->globalIndex = new GlobalIndex($stubsIndex, $this->projectIndex);
+            $initializationOptions = $initializationOptions ?? new Options;
 
             // The DefinitionResolver should look in stubs, the project source and dependencies
             $this->definitionResolver = new DefinitionResolver($this->globalIndex);