Bug Fix: correct job number when loading jobs

[modules/kernel.git] / src / Launcher / Launcher.hxx

diff --git a/src/Launcher/Launcher.hxx b/src/Launcher/Launcher.hxx
index 2059e0eb4e060e4f07754476d3cca4d532c3cff0..81057af1ed711e40e5c62889e2ced1b51af3b24f 100644 (file)
--- a/src/Launcher/Launcher.hxx
+++ b/src/Launcher/Launcher.hxx
@@ -55,7 +55,7 @@ class LAUNCHER_EXPORT Launcher_cpp
 
 public:
   Launcher_cpp();
-  ~Launcher_cpp();
+  virtual ~Launcher_cpp();
 
   // Main interface
   void         createJob(Launcher::Job * new_job);