From 52bcfb713f910d783dfd07eb12834fcc8c792cc5 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 28 Feb 2017 14:26:11 +0100
Subject: [PATCH] fix(shell/server): also invalidate non-open files

---
 src/shell/server.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/shell/server.cpp b/src/shell/server.cpp
index dbb989c4f5..127ce52a36 100644
--- a/src/shell/server.cpp
+++ b/src/shell/server.cpp
@@ -416,13 +416,15 @@ server::cmd_res server::handle_sync(server::cmd_req const & req) {
 
     auto mtime = time(nullptr);
 
-    bool needs_invalidation = !m_open_files.count(new_file_name);
+    bool needs_invalidation = true;
 
     auto & ef = m_open_files[new_file_name];
     if (ef.m_content != new_content) {
         ef.m_content = new_content;
         ef.m_mtime = mtime;
         needs_invalidation = true;
+    } else {
+        needs_invalidation = false;
     }
 
     json res;