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.
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)
except OSError:
# os.getpgid failed. OK. No cleanup.
pass
+ except PermissionError:
+ print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The binary is not executable.")
+ print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())
+ tesh_exit(3)
+ except NotADirectoryError:
+ print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': The path to binary does not exist.")
+ print("["+FileReader().filename+":"+str(self.linenumber)+"] Current dir: "+os.getcwd())
+ tesh_exit(3)
except FileNotFoundError:
print("["+FileReader().filename+":"+str(self.linenumber)+"] Cannot start '"+args[0]+"': File not found")
tesh_exit(3)