From 72e257de44b44782bca8545fa6584f9f8c934d6e Mon Sep 17 00:00:00 2001
From: nge <nge>
Date: Fri, 22 Jan 2010 10:53:22 +0000
Subject: [PATCH] ssh in GUI is ssh_batch in resource

---
 src/genericgui/JM_EditSalomeResource.cxx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/genericgui/JM_EditSalomeResource.cxx b/src/genericgui/JM_EditSalomeResource.cxx
index cc365f7..c8eb7b4 100644
--- a/src/genericgui/JM_EditSalomeResource.cxx
+++ b/src/genericgui/JM_EditSalomeResource.cxx
@@ -308,6 +308,8 @@ JM::EditSalomeResource::accept()
   resource.protocol = _protocol_line->currentText().toStdString();
   resource.iprotocol = _iprotocol_line->currentText().toStdString();
   resource.batch = _batch_line->currentText().toStdString();
+  if (resource.batch == "ssh")
+    resource.batch = "ssh_batch";
   resource.mpiImpl = _mpiImpl_line->currentText().toStdString();
 
   // QSpinBox
-- 
2.39.2