[AGENT++] proper way to shutdown an agent

[Mo Po]

On 06/07/2011 01:26 PM, Jochen Katz wrote:
> Hi,
>
>> So I gather that checking e.g. request_list-is_empty() is not enough,
>
> no, I just did not think about this function. With a check for
> is_empty() you will definitely not get a crash like in your first mail.
> So if you already checked with is_empty() and you got the crash,
> something different went wrong.


No - it had crashed before I added the is_empty() check (which I did 
yesterday).

Thanks for the additional info.

Regards,
Mo Po


>
>> and I should use the code above, right?
>
> Use it additional to the is_empty() check.
>
> Regards,
>    Jochen
> _______________________________________________
> AGENTPP mailing list
> AGENTPP at agentpp.org
> http://lists.agentpp.org/mailman/listinfo/agentpp