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
12 if sys.argv[1] != "-":
14 sys.stdin = open(sys.argv[1],"r")
15 if sys.argv[2] != "-":
16 print "Redirecting" + sys.argv[2]
19 sys.stdout = open(sys.argv[2],"w")
20 sys.stderr = open(sys.argv[2],"w")
22 os.execvp(sys.argv[3], sys.argv[3:])
23 print "Could not run " + sys.argv[3]