From: Navindra Umanee <navindra@...>
Date: 2005-01-29T16:05:57+09:00
Subject: string extraction

Hi,

I have strings of the form:

string='.///root/1068663688//1068824962/1068836207//1068932537///'

Basically, I want to extract the last number in the string.

Right now I'm doing:

string[/(\d*)\/*$/].delete('/')

But I've already matched the digit I want, so the delete is just
superfluous work.  How can I extract the number without doing a
separate delete?

Thanks,
Navin.