Add stopJob() for #ifndef WITH_LIBBATCH

diff --git a/src/Launcher/Launcher.cxx b/src/Launcher/Launcher.cxx
index c2d506d75aea941e9987c2f744ec45c490ae53de..f0d731297f5890dac1791856a4e75047c4712410 100644 (file)
--- a/src/Launcher/Launcher.cxx
+++ b/src/Launcher/Launcher.cxx
@@ -492,6 +492,13 @@ Launcher_cpp::removeJob(int job_id)
                           "(libBatch was not present at compilation time)");
 }
 
+void
+Launcher_cpp::stopJob(int job_id)
+{
+  throw LauncherException("Method Launcher_cpp::stopJob is not available "
+                          "(libBatch was not present at compilation time)");
+}
+
 long 
 Launcher_cpp::createJobWithFile( const std::string xmlExecuteFile, std::string clusterName)
 {