From f84e3284abdf323735fecb3c02a2cf3c7f4bdc98 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Tue, 14 Mar 2023 19:54:21 +0100
Subject: [PATCH] just hardcode spill option to true

---
 src/fsfw/storagemanager/PoolManager.cpp | 4 ++--
 src/fsfw/storagemanager/PoolManager.h   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/fsfw/storagemanager/PoolManager.cpp b/src/fsfw/storagemanager/PoolManager.cpp
index ed92dfef..665edbd9 100644
--- a/src/fsfw/storagemanager/PoolManager.cpp
+++ b/src/fsfw/storagemanager/PoolManager.cpp
@@ -2,8 +2,8 @@
 
 #include "fsfw/FSFW.h"
 
-PoolManager::PoolManager(object_id_t setObjectId, const LocalPoolConfig& localPoolConfig, bool spillToHigherPools)
-    : LocalPool(setObjectId, localPoolConfig, true, spillToHigherPools) {
+PoolManager::PoolManager(object_id_t setObjectId, const LocalPoolConfig& localPoolConfig)
+    : LocalPool(setObjectId, localPoolConfig, true, true) {
   mutex = MutexFactory::instance()->createMutex();
 }
 
diff --git a/src/fsfw/storagemanager/PoolManager.h b/src/fsfw/storagemanager/PoolManager.h
index 798e92dd..d4bb9f0d 100644
--- a/src/fsfw/storagemanager/PoolManager.h
+++ b/src/fsfw/storagemanager/PoolManager.h
@@ -21,7 +21,7 @@
  */
 class PoolManager : public LocalPool {
  public:
-  PoolManager(object_id_t setObjectId, const LocalPoolConfig& poolConfig, bool spillToHigherPools);
+  PoolManager(object_id_t setObjectId, const LocalPoolConfig& poolConfig);
 
   /**
    * @brief	In the PoolManager's destructor all allocated memory