Fix problem of compilation in --without-libbatch mode

diff --git a/src/Launcher/Launcher.cxx b/src/Launcher/Launcher.cxx
index d4d3c116e81f10ae4aa99eee6ecaf39861fdc039..59956a776d211d3f594eb3983433ffc86e908f94 100644 (file)
--- a/src/Launcher/Launcher.cxx
+++ b/src/Launcher/Launcher.cxx
@@ -507,6 +507,14 @@ Launcher_cpp::getJobResults(int job_id, std::string directory)
                           "(libBatch was not present at compilation time)");
 }
 
+bool
+Launcher_cpp::getJobDumpState(int job_id, std::string directory)
+{
+  LAUNCHER_INFOS("Launcher compiled without LIBBATCH - cannot get job dump state!!!");
+  throw LauncherException("Method Launcher_cpp::getJobDumpState is not available "
+                          "(libBatch was not present at compilation time)");
+}
+
 void
 Launcher_cpp::removeJob(int job_id)
 {