From 2efde08421d301341a8e1af6b6091be040b81be9 Mon Sep 17 00:00:00 2001 From: Reinhold Kainhofer Date: Tue, 8 Jun 2010 14:22:54 +0200 Subject: [PATCH] MusicXML: Fix filename for pipe-through operation --- scripts/musicxml2ly.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/musicxml2ly.py b/scripts/musicxml2ly.py index 6b8214fd96..88058b17d0 100644 --- a/scripts/musicxml2ly.py +++ b/scripts/musicxml2ly.py @@ -3007,7 +3007,7 @@ def main (): # Allow the user to leave out the .xml or xml on the filename basefilename = args[0].decode('utf-8') if basefilename == "-": # Read from stdin - basefilename = "-" + filename = "-" else: filename = get_existing_filename_with_extension (basefilename, "xml") if not filename: -- 2.39.5