From: wang Date: Wed, 9 Oct 2013 00:27:04 +0000 (+0200) Subject: Bug fixed for stdin and stdout in a different platform. X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/commitdiff_plain/50baab1849bddf73ee88b54f52b28060de1ce289?hp=50baab1849bddf73ee88b54f52b28060de1ce289 Bug fixed for stdin and stdout in a different platform. Tested by "make test". ---