Don't store incremental data in server mode

This allows apron to be activated in server mode.
goblint · Mar 10, 2023 · a00e2aa · a00e2aa
1 parent bcb29ce
commit a00e2aa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/framework/control.ml b/src/framework/control.ml
@@ -706,7 +706,8 @@ struct
     );
     if get_bool "incremental.save" then (
       Serialize.Cache.(update_data AnalysisData marshal);
-      Serialize.Cache.store_data ()
+      if not (get_bool "server.enabled") then
+        Serialize.Cache.store_data ()
     );
     if get_bool "dbg.verbose" && get_string "result" <> "none" then print_endline ("Generating output: " ^ get_string "result");
     Timing.wrap "result output" (Result.output (lazy local_xml) gh make_global_fast_xml) file