ssh in GUI is ssh_batch in resource

diff --git a/src/genericgui/JM_EditSalomeResource.cxx b/src/genericgui/JM_EditSalomeResource.cxx
index cc365f7f21dd2079220fdf9cc14ad23b1e4433c5..c8eb7b48f582dee603bfd8cb79aa1f0bdb905ca2 100644 (file)
--- 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