fix stats loading/saving errors

Author: ckrause

CHANGELOG.md

@@ -2,6 +2,12 @@ To install or update LODA, please follow the [installation instructions](https:/
 
 ## [Unreleased]
 
+## v23.10.8
+
+### Bugfixes
+
+* Fix errors during loading and saving of stats
+
 ## v23.9.30
 
 ### Features

src/mine/finder.cpp

@@ -427,8 +427,8 @@ void Finder::notifyInvalidMatch(size_t id) {
   }
   if (scheduler.isTargetReached()) {
     scheduler.reset();
-    Log::get().debug("Saving " + std::to_string(invalid_matches.size()) +
-                     " invalid matches");
+    Log::get().info("Saving invalid matches stats for " +
+                    std::to_string(invalid_matches.size()) + " sequences");
     OeisList::mergeMap(OeisList::INVALID_MATCHES_FILE, invalid_matches);
   }
 }

src/mine/miner.cpp

@@ -86,8 +86,11 @@ void Miner::mine() {
       runMineLoop();
       auto mins = std::to_string(monitor->getElapsedSeconds() / 60);
       Log::get().info("Finished mining after " + mins + " minutes");
+    } catch (const std::exception &e) {
+      Log::get().error(
+          "Caught exception during mining: " + std::string(e.what()), false);
     } catch (...) {
-      Log::get().error("Caught exception during mining", false);
+      Log::get().error("Caught unknown exception during mining", false);
     }
     try {
       thread.join();

src/oeis/oeis_list.cpp

@@ -148,12 +148,17 @@ void OeisList::mergeMap(const std::string& file_name,
   FolderLock lock(getListsHome());
   std::ifstream in(getListsHome() + file_name);
   if (in.good()) {
-    addToMap(in, map);
+    try {
+      addToMap(in, map);
+    } catch (...) {
+      Log::get().warn("Overwriting corrupt data in " + file_name);
+    }
     in.close();
   }
   std::ofstream out(getListsHome() + file_name);
   for (auto it : map) {
-    out << OeisSequence(it.first).id_str() << ": " << it.second << "\n";
+    out << OeisSequence(it.first).id_str() << ": " << it.second
+        << std::endl;  // flush at every line to avoid corrupt data
   }
   out.close();
   map.clear();