Fix
commitbed16d617aaa59ff52fc1c684acfe3ddd7b86283
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Aug 2010 14:57:41 +0000 (23 14:57 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Aug 2010 14:57:41 +0000 (23 14:57 +0000)
tree987c405cc447717646ce05fbb04a7880f10ee53f
parentb8677e88c3a729db5e5e9b0aa09969292510b21c
Fix

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