From fc96e1a973e0b3da3350e81ff0052d2b834f6be8 Mon Sep 17 00:00:00 2001
From: secher <secher>
Date: Thu, 10 Dec 2009 14:11:41 +0000
Subject: [PATCH] to assure that salome servers are well finished before quit
 batch script

---
 src/Launcher/Launcher_Job_SALOME.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Launcher/Launcher_Job_SALOME.cxx b/src/Launcher/Launcher_Job_SALOME.cxx
index 484d2a679..1ad608b15 100644
--- a/src/Launcher/Launcher_Job_SALOME.cxx
+++ b/src/Launcher/Launcher_Job_SALOME.cxx
@@ -109,6 +109,7 @@ Launcher::Job_SALOME::buildSalomeScript(Batch::Parametre params)
 
   // End
   launch_script_stream << _machine_definition.AppliPath << "/runSession -p $appli_port shutdownSalome.py" << std::endl;
+  launch_script_stream << "sleep 10" << std::endl;
 
   // Return
   launch_script_stream.flush();
-- 
2.39.2