From 8a0e0268be8d0e17f8820b8d0dda79d8ec757c8e Mon Sep 17 00:00:00 2001
From: ribes <ribes>
Date: Wed, 18 May 2011 08:32:55 +0000
Subject: [PATCH] Bug for ccc batch manager

---
 src/ResourcesManager/SALOME_ResourcesManager.cxx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ResourcesManager/SALOME_ResourcesManager.cxx b/src/ResourcesManager/SALOME_ResourcesManager.cxx
index 876558d15..a317fbd3c 100644
--- a/src/ResourcesManager/SALOME_ResourcesManager.cxx
+++ b/src/ResourcesManager/SALOME_ResourcesManager.cxx
@@ -289,6 +289,8 @@ SALOME_ResourcesManager::AddResource(const Engines::ResourceDefinition& new_reso
     resource.Batch = sge;
   else if  (aBatch == "slurm")
     resource.Batch = slurm;
+  else if  (aBatch == "ccc")
+    resource.Batch = ccc;
   else if  (aBatch == "ssh_batch")
     resource.Batch = ssh_batch;
   else if  (aBatch == "ll")
-- 
2.39.2