From d06ff44a9c46c41ec0e599b3dc4589167b0658e6 Mon Sep 17 00:00:00 2001 From: vsr Date: Fri, 28 Jan 2011 08:00:39 +0000 Subject: [PATCH] Fix problem of compilation in --without-libbatch mode --- src/Launcher/Launcher.cxx | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/Launcher/Launcher.cxx b/src/Launcher/Launcher.cxx index d4d3c116e..59956a776 100644 --- 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) { -- 2.39.2