4877: don't delete /dev/stdout
authorTim Pierce <twp@curoverse.com>
Tue, 30 Dec 2014 21:45:42 +0000 (16:45 -0500)
committerTim Pierce <twp@curoverse.com>
Tue, 30 Dec 2014 21:45:42 +0000 (16:45 -0500)
Fixed the filename check before trying to delete /dev/stdout.

sdk/python/bin/arv-get

index 272fa84a430f4c8c54f5d8d33a75b13f7525a81e..2451416dae38da1932f22fb7c6599b8a82e55110 100755 (executable)
@@ -216,7 +216,7 @@ for s,f,outfilename in todo:
             sys.stderr.write("%s  %s/%s\n"
                              % (digestor.hexdigest(), s.name(), f.name()))
     except KeyboardInterrupt:
-        if outfile and outfile != '/dev/stdout':
+        if outfile and outfilename != '/dev/stdout':
             os.unlink(outfilename)
         break