2 # This is a general wrapper script that will allow
3 # us to maintain security in the external material
6 # general_command_wrapper.py stdin-filename stdout-filename command args
7 # Use "-" for stdin-filename and stdout-filename to use the normal stdio
15 if sys.argv[1] != "-":
17 sys.stdin = open(sys.argv[1],"r")
18 if sys.argv[2] != "-":
19 print "Redirecting" + sys.argv[2]
22 sys.stdout = open(sys.argv[2],"w")
23 sys.stderr = open(sys.argv[2],"w")
25 os.execvp(sys.argv[3], sys.argv[3:])
26 print "Could not run " + sys.argv[3]