Re: gdb v7.0 - user defined command's document section - space prefixed end

Paul Koning
2009-11-04T21:07:58Z

Excerpt of message (sent 4 November 2009) by Tom Tromey:
> >>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:
>
> >> I noticed my scripts didn't work under v7.0 only when I saw this bug in
> >> launchpad. I guess I am not the only one who has indented "ends" this way
> >> :)
> >> https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/461594
>
> Joel> If you could maybe help us a little bit, and track down the author
> Joel> of the patch that introduced the change of behavior, and then ask
> Joel> him whether the change was intended?
>
> I think it may be because we allow multi-line python commands, and
> python is sensitive to indentation.

Yes, but "end" is not a Python keyword, so that isn't a reason to stop
recognizing <whitespace>end.

paul