Fixed bug in BatchManager_ePBS: the job identifier is now "number.server_name" instea...

It fixes a problem on cluster clamart2 where the default server name is not the one where the jobs are submitted.

diff --git a/src/PBS/Batch_BatchManager_ePBS.cxx b/src/PBS/Batch_BatchManager_ePBS.cxx
index fd01bc0a205fb8d34f4f3ade5cd7c2638d9b36a4..3379bca22b4cebc7f0eb715f2c22c04d54c468fa 100644 (file)
--- a/src/PBS/Batch_BatchManager_ePBS.cxx
+++ b/src/PBS/Batch_BatchManager_ePBS.cxx
@@ -117,14 +117,7 @@ namespace Batch {
     if (sline.size() == 0)
       throw EmulationException("Error in the submission of the job on the remote host");
 
-    size_t pos = sline.find(".");
-    string strjob;
-    if(pos == string::npos)
-      strjob = sline;
-    else
-      strjob = sline.substr(0,pos);
-
-    JobId id(this, strjob);
+    JobId id(this, sline);
     return id;
   }