From 5002c0164f1b57fcc173b62d725e29eb5e1202cd Mon Sep 17 00:00:00 2001
From: Ovidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Date: Thu, 28 Jan 2021 11:31:31 +0100
Subject: [PATCH] Deal with rounding issues(PBS).

---
 src/PBS/BatchManager_PBS.cxx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/PBS/BatchManager_PBS.cxx b/src/PBS/BatchManager_PBS.cxx
index 265c6ec..b0a26da 100644
--- 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;
-- 
2.30.2