Don't flush the XML printing buffer if nothing was printed.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:24:36 +0000 (14:24 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:24:36 +0000 (14:24 +0200)

No differences found