Deal with rounding issues(PBS).

diff --git a/src/PBS/BatchManager_PBS.cxx b/src/PBS/BatchManager_PBS.cxx
index 265c6ec0d246607bf0cefa665a573e9fac0e6109..b0a26da0dd4e763c619eac1e2b22aa9626f6ef08 100644 (file)
--- a/src/PBS/BatchManager_PBS.cxx
+++ b/src/PBS/BatchManager_PBS.cxx
@@ -162,7 +162,11 @@ namespace Batch {
     {
       nbnode = params[NBNODE];
       if(nbnode > 0 && nbprocpernode == 0)
+      {
         nbprocpernode = nbproc / nbnode;
+        if(nbprocpernode * nbnode < nbproc)
+          ++nbprocpernode;
+      }
     }
     if(nbprocpernode == 0) // if not defined
       nbprocpernode = 1;