X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/475a598139ee32875e057f86b63b2294fac1df53..e0ebf7976fb4d94d6a5a75e4131a036bd3ace277:/tools/tesh/tesh.py diff --git a/tools/tesh/tesh.py b/tools/tesh/tesh.py index 4e332faab2..3bc74483a5 100755 --- a/tools/tesh/tesh.py +++ b/tools/tesh/tesh.py @@ -5,7 +5,7 @@ tesh -- testing shell ======================== -Copyright (c) 2012-2017. The SimGrid Team. All rights reserved. +Copyright (c) 2012-2018. The SimGrid Team. All rights reserved. This program is free software; you can redistribute it and/or modify it under the terms of the license (GNU LGPL) which comes with this package. @@ -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)