From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Sat, 8 Jan 2011 08:32:07 +0000 (+0100)
Subject: Bug fix: we really need to consume all messages in proc::receive!
X-Git-Tag: v0.1~191
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/e536ac5528b51d2c1dec76a5bc1c37b9aaeae67f?ds=inline;hp=e536ac5528b51d2c1dec76a5bc1c37b9aaeae67f

Bug fix: we really need to consume all messages in proc::receive!
---