message buffer is too small

[Christian Helmuth]

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
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth