Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill trailing whitespace.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 23 Mar 2018 13:36:25 +0000 (14:36 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 23 Mar 2018 16:19:14 +0000 (17:19 +0100)
tools/tesh/tesh.py

index 4e332fa..3aeeb20 100755 (executable)
@@ -110,7 +110,7 @@ pgtokill = None
 def kill_process_group(pgid):
     if pgid is None: # Nobody to kill. We don't know who to kill on windows, or we don't have anyone to kill on signal handler
         return
-    
+
     # print("Kill process group {}".format(pgid))
     try:
         os.killpg(pgid, signal.SIGTERM)