From cb7e0bfe6185d93525447c41fbdc88869254bf81 Mon Sep 17 00:00:00 2001
From: Francesco Minnocci <ad17fmin@uwcad.it>
Date: Tue, 26 Dec 2023 21:27:49 +0100
Subject: [PATCH] fix: add finalize(SlurmManager); see GitHub issue:
 https://github.com/kleinhenz/SlurmClusterManager.jl/issues/11

---
 solve.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/solve.jl b/solve.jl
index 9e87d82..47b7a6d 100644
--- a/solve.jl
+++ b/solve.jl
@@ -99,6 +99,8 @@ vars = variables(R)
 println("Solutions: ", sol)
 println("Norms (lower = better): ", [norm([f(vars => s) for f in R]) for s in sol])
 
+finalize(SlurmManager())
+
 # Plotting the system and the real solutions
 # ENV["GKSwstype"] = "nul"
 # plot_real(sC, C, 6, 12, "1")