Re: loadfile and line number
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: loadfile and line number
- From: Luiz Henrique de Figueiredo <lhf@...>
- Date: 2012年10月11日 08:29:24 -0300
> >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?