vidi-player.py: check that the output file exists before creating the pipeline

diff --git a/vidi-player.py b/vidi-player.py
index 9b6d144..303d55d 100755 (executable)
--- a/vidi-player.py
+++ b/vidi-player.py
@@ -98,6 +98,10 @@ def main():
         usage()
         return 1
 
         usage()
         return 1
 

+    if len(sys.argv) > 3 and os.path.exists(sys.argv[3]):
+        sys.stderr.write("File '%s' exists, exiting!\n" % sys.argv[3])
+        return 1
+

     video_font_path = os.path.realpath(sys.argv[2])
 
     timeline = timeline_from_midi(midi_file, video_font_path)
     video_font_path = os.path.realpath(sys.argv[2])
 
     timeline = timeline_from_midi(midi_file, video_font_path)