Re: loadfile and line number

[Luiz Henrique de Figueiredo <lhf@...>]

> >You can extract the line number from the error message with
> >	string.match(message,":(%d+):")
> 
> Unfortunately, this method is not robust enough.
> If some part of the line in question matches the same pattern ":(%d+):", 
> it will be captured instead.

I know. Sorry about that. You may want to add a space before the message
	string.match(message,":(%d+): ")

Anyway, I'm curious: do you have file names with say ":2012: " in them?