server: explicitly flush after indexing

2020-02-15 18:26:45 +02:00 · 2020-02-15 18:26:45 +02:00 · 62cc675a51
parent 10fa0727ef
commit 62cc675a51
1 changed files with 1 additions and 0 deletions
--- a/mu/mu-cmd-server.cc
+++ b/mu/mu-cmd-server.cc
@ -866,6 +866,7 @@ index_handler (Context& context, const Parameters& params)
                throw;
        }
        mu_index_destroy(index);
+        mu_store_flush(context.store);
 }

 static void