From 097a334e0c1f59c0fae9536d14b6a823fc2b2137 Mon Sep 17 00:00:00 2001
From: ouv <ouv@opencascade.com>
Date: Thu, 4 Apr 2013 07:27:49 +0000
Subject: [PATCH] Compilation without libBatch.

---
 src/Launcher/Launcher.cxx | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/Launcher/Launcher.cxx b/src/Launcher/Launcher.cxx
index d42b3a3ba..8471b2265 100644
--- a/src/Launcher/Launcher.cxx
+++ b/src/Launcher/Launcher.cxx
@@ -515,6 +515,14 @@ Launcher_cpp::getJobState(int job_id)
                           "(libBatch was not present at compilation time)");
 }
 
+const char *
+Launcher_cpp::getAssignedHostnames(int job_id)
+{
+  LAUNCHER_INFOS("Launcher compiled without LIBBATCH - cannot get job assigned hostnames!!!");
+  throw LauncherException("Method Launcher_cpp::getAssignedHostnames is not available "
+                          "(libBatch was not present at compilation time)");
+}
+
 void
 Launcher_cpp::getJobResults(int job_id, std::string directory)
 {
-- 
2.39.2