Ticket #301: patch3.patch

api_wrdb.cc

@@ -1956 +1956 @@
 
     db.flush();
 
-    string cmd = "../bin/xapian-check .flint/dbw__cursordelbug1";
-#ifdef __WIN32__
-    cmd += " >nul";
+#ifdef WIN32
+    string cmd = "..\\win32\\release\\xapian-check .flint\\dbw__cursordelbug1 >nul";
 #else
-    cmd += " >/dev/null";
-#endif
+    string cmd = "../bin/xapian-check .flint/dbw__cursordelbug1 >/dev/null";
+#endif 
     if (system(cmd.c_str()) != 0)
         return false;