From f2884c0e82fe9d28ca43bef991ac6fd56f1eac49 Mon Sep 17 00:00:00 2001
From: Felix Becker <felix.b@outlook.com>
Date: Fri, 14 Oct 2016 01:37:37 +0200
Subject: [PATCH] Save cache every 1000th file

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

diff --git a/src/LanguageServer.php b/src/LanguageServer.php
index 29e914a..86fdcb5 100644
--- a/src/LanguageServer.php
+++ b/src/LanguageServer.php
@@ -181,6 +181,10 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
                     }
                 }
 
+                if ($fileNum % 1000 === 0) {
+                    $this->saveCache();
+                }
+
                 Loop\setTimeout($processFile, 0);
             } else {
                 $duration = (int)(microtime(true) - $startTime);