Fix non flushed cerr bug
commitc2c977a4f24a5b43429395880e40d944e711251b
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 1 Dec 2009 09:10:03 +0000 (1 09:10 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 1 Dec 2009 09:10:03 +0000 (1 09:10 +0000)
tree8382fc8c63a5bef73a54d3e38e56d99a2c6bd413
parent813c6483abfa50ee52f6a3232bfdc5181defe05f
Fix non flushed cerr bug

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2845 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/System/Link/pipe_link.cpp