Re: Issue 1867 in lilypond: Flush all ports after each file, flush stdout after displaying all options

2012-02-17 Thread lilypond
Updates: Labels: -Patch-review Comment #5 on issue 1867 by julien.r...@gmail.com: Flush all ports after each file, flush stdout after displaying all options http://code.google.com/p/lilypond/issues/detail?id=1867 (No comment was entered for this change.)

Issue 1867 in lilypond: Flush all ports after each file, flush stdout after displaying all options

2011-09-05 Thread lilypond
Status: Accepted Owner: reinhold...@gmail.com Labels: Type-Build Patch-new New issue 1867 by pkx1...@gmail.com: Flush all ports after each file, flush stdout after displaying all options http://code.google.com/p/lilypond/issues/detail?id=1867 Flush all ports after each file, flush stdout

Re: Issue 1867 in lilypond: Flush all ports after each file, flush stdout after displaying all options

2011-09-05 Thread lilypond
Updates: Labels: -Patch-new Patch-review Comment #2 on issue 1867 by pkx1...@gmail.com: Flush all ports after each file, flush stdout after displaying all options http://code.google.com/p/lilypond/issues/detail?id=1867 Passes make and reg tests

Re: Issue 1867 in lilypond: Flush all ports after each file, flush stdout after displaying all options

2011-09-05 Thread lilypond
Updates: Status: Duplicate Mergedinto: 1248 Comment #4 on issue 1867 by reinhold...@gmail.com: Flush all ports after each file, flush stdout after displaying all options http://code.google.com/p/lilypond/issues/detail?id=1867 (No comment was entered for this change.)