Hey,
On Wed, Apr 28, 2010 at 10:24:43AM +0930, Peter Nguyen wrote:
In doing some further investigating, i discovered that the message was popping as a result of using sleep_forever(). I changed the associated Msgbuf size in base/sleep.h to 64, which has resulted in the code now working.
You're right, Genode implements sleep_forever() via waiting for incoming messages in an endless loop. Did you discover which client was sending unexpected messages to your server? Maybe you just conceal a bug by increasing the Msgbuf size.
Regards