X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6de7a0e75901e65323b77e9cf9b7f67e8c2b8b55..73e97710413bba3ee2ae8baab0537fbd78811016:/tools/tesh/tesh.py

diff --git a/tools/tesh/tesh.py b/tools/tesh/tesh.py
index 2552c71b4d..0feecb9981 100755
--- a/tools/tesh/tesh.py
+++ b/tools/tesh/tesh.py
@@ -125,7 +125,7 @@ def kill_process_group(pid):
     except:
         # os.getpgid failed. Ok, don't cleanup.
         return
-    
+
     try:
         os.killpg(pgid, signal.SIGTERM)
         if process_is_dead(pid):