Changeset 2c3ae5 for ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp

Timestamp:

Aug 11, 2025, 5:45:18 PM (3 months ago)

Author:

Frederik Heber <frederik.heber@…>

Branches:

Candidate_v1.7.0, stable

Children:

e2f31d3

Parents:

74d798

git-author:

Frederik Heber <frederik.heber@…> (07/13/25 21:35:10)

git-committer:

Frederik Heber <frederik.heber@…> (08/11/25 17:45:18)

Message:

JobMarket: Extended PoolGuard to also check idle workers.

File:

• ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp (modified) (1 diff)

ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp

@@ -69 +69 @@
   typedef std::vector<std::pair<std::string, std::string> > WorkerList_t;
   WorkerList_t getListOfIdleWorkers() const;
-  const Pool_t& getPoolOfWorkers() const
-  {
-    return pool;
-  }
 
   /** Return the number of busy workers.