api server extensions

Author: ckrause

CHANGELOG.md

@@ -2,6 +2,12 @@ To install or update LODA, please follow the [installation instructions](https:/
 
 ## [Unreleased]
 
+### v25.9.7
+
+### Enhancements
+
+* Extensions to run on API server
+
 ### v25.9.4
 
 ### Enhancements

src/mine/mine_manager.cpp

@@ -49,6 +49,7 @@ MineManager::MineManager(const Settings &settings,
       finder_initialized(false),
       update_oeis(false),
       update_programs(false),
+      is_api_server(Setup::getSetupFlag("LODA_IS_API_SERVER", false)),
       optimizer(settings),
       minimizer(settings),
       loader(sequences, settings.num_terms),
@@ -189,7 +190,10 @@ bool MineManager::shouldMatch(const ManagedSequence &seq) const {
 }
 
 void MineManager::update(bool force) {
-  std::vector<std::string> files = {"stripped", "names", "offsets"};
+  std::vector<std::string> files = {"stripped", "names"};
+  if (!is_api_server) {
+    files.push_back("offsets");
+  }
 
   // check whether oeis files need to be updated
   const auto oeis_home = SequenceUtil::getSeqsFolder('A');

src/mine/mine_manager.hpp

@@ -90,6 +90,7 @@ class MineManager {
   bool finder_initialized;
   bool update_oeis;
   bool update_programs;
+  bool is_api_server;
 
   Optimizer optimizer;
   Minimizer minimizer;