[EDF29576] : Fix on debian10

diff --git a/src/Basics/Monitoring.cxx b/src/Basics/Monitoring.cxx
index 1c1109bb4e9b40d770f1ff19564417249bcfaf63..a04e2c564720ca883b533965311146bb62b1ff5c 100644 (file)
--- a/src/Basics/Monitoring.cxx
+++ b/src/Basics/Monitoring.cxx
@@ -113,7 +113,7 @@ std::vector<double> SALOME::ReadFloatsInFile(const std::string& fileName)
 static void StopMonitoringLinux(long pid)
 {
   pid_t pid_of_subprocess = (pid_t) pid;
-  kill( pid_of_subprocess, SIGTERM );
+  kill( pid_of_subprocess, SIGKILL );
 }
 #endif
 

diff --git a/src/Container/SALOME_Container.py b/src/Container/SALOME_Container.py
index 66113499a8c6b5cc3af4376bbf0e9155956e3aeb..c9bc72d3a163987211df99ddeddc42b261b9eb5e 100644 (file)
--- a/src/Container/SALOME_Container.py
+++ b/src/Container/SALOME_Container.py
@@ -188,7 +188,7 @@ class SALOME_Container_i:
            
     def killMe(self):
         import signal
-        os.kill( os.getpid() , signal.SIGTERM)
+        os.kill( os.getpid() , signal.SIGKILL)
            
     def setLogFileName(self, logFileName):
         logging.debug("setLogFileName {} PID = {}".format(logFileName,os.getpid()))