From 62cc675a5107960680fdf5b9afc5adb1dfbbcafa Mon Sep 17 00:00:00 2001
From: "Dirk-Jan C. Binnema" <djcb@djcbsoftware.nl>
Date: Sat, 15 Feb 2020 18:26:45 +0200
Subject: [PATCH] server: explicitly flush after indexing

---
 mu/mu-cmd-server.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mu/mu-cmd-server.cc b/mu/mu-cmd-server.cc
index 0ccdbeac..6e31eaa6 100644
--- 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