From 4d7dd2d5028a2ddb9e6a598cfdfa5eb5964fedde Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 23 Mar 2018 14:36:25 +0100
Subject: [PATCH 1/1] Kill trailing whitespace.

---
 tools/tesh/tesh.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/tesh/tesh.py b/tools/tesh/tesh.py
index 4e332faab2..3aeeb2009c 100755
--- a/tools/tesh/tesh.py
+++ b/tools/tesh/tesh.py
@@ -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)
-- 
2.20.1