Details
-
Bug
-
Resolution: Not a Bug
-
Minor
-
None
-
None
-
None
-
2022 Week 23-25 (from Jun 6)
-
0
-
NEW
-
NEW
Description
Hi!
I'm using spring to inject a SolverManager.
I configured a Termination of 1 minute.
When i start solvingĀ using solveAndListen(uuid, ...), wait a minute for the solver to terminate and is see it's terminated in the log output i call `solverManager.getSolverStatus(uuid)`.
I would expect it to return NOT_SOLVING. But in fact it returns SOLVING_ACTIVE.
Only if call `solverManager.terminateEarly(uuid)` (while no solving is active!) the status turns into NOT_SOLVING