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())