max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(shell/server): also invalidate non-open files

Browse source
This commit is contained in:
Gabriel Ebner 2017-02-28 14:26:11 +01:00
parent 5e94f63b3e
commit 52bcfb713f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/shell/server.cpp
View file

@ -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;