3499: Merge branch 'master' into 3499-home-project
[arvados.git] / sdk / python / bin / arv-get
index 30beedc2e762a7bf1cff35436adb5de01b3b4bda..7f07e22bc09184c233ade533fd07eed03bc00126 100755 (executable)
@@ -215,7 +215,7 @@ for s,f,outfilename in todo:
             sys.stderr.write("%s  %s/%s\n"
                              % (digestor.hexdigest(), s.name(), f.name()))
     except KeyboardInterrupt:
-        if outfile:
+        if outfile and outfile != '/dev/stdout':
             os.unlink(outfilename)
         break