[AGENT++] proper way to shutdown an agent

[Jochen Katz]

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.

> and I should use the code above, right?

Use it additional to the is_empty() check.

Regards,
  Jochen