2 # This script converts a raster format picture into a PNG and EPS file
13 os.execvp("convert", ["convert", pars, sys.argv[1], os.path.splitext(sys.argv[1])[0] + ".eps"])
14 print "convert did not work"
20 os.execvp("convert", ["convert", pars, sys.argv[1], os.path.splitext(sys.argv[1])[0] + ".png"])
21 print "convert did not work second time"