|
On 11/10/2012 14:21, Luiz Henrique de Figueiredo wrote:
So, I don't see a solution. Sorry about that.
Luiz, thank you very much anyway. I suppose that ":(%d+): " will work for 99.99% cases (and that's good enough for my application).
I posted the question just to be sure that there's no other way than parsing the string.
-- Shmuel