Do not close pipe twice
commit724734237987c6a5223aa6c6b6620f063d52ee3a
authormalc <av1474@comtv.ru>
Fri, 16 Mar 2012 05:07:15 +0000 (16 09:07 +0400)
committermalc <av1474@comtv.ru>
Fri, 16 Mar 2012 05:33:58 +0000 (16 09:33 +0400)
tree251648a4ec2a3ee57d698c13eb0c26a0a5537554
parent7520dad909ce39b02ca9767f02b3330b4adc64bc
Do not close pipe twice
main.ml