- fixed issue 42: range_read seems to leave messages in queue
- fixed issue 42: range_read seems to leave messages in queue


l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror