Am 06.08.2013 09:30, schrieb Marek Janukowicz:
Gabi wrote:Why not go for the trivial solution - just increase/decrease a counter for each push/pop message?Yeah, that's most likely what I'll end up with, but it's a pity such information exists and I only can't access it because someone decided to make it private... or should I file a bug (or rather feature request) about it?
the question is do the published counter then needs locking - and make it slow for all - just for beeing getable?
