On Wednesday 18 May 2005 08:45, Georg Baum wrote:
> Angus Leeming wrote:
> > Note now "} \backslash" has become "\backslash }"
>
> A fix is attached. It is a bit clumsy, but unless Josà finds something
> better I'll commit that.
In this type of problems there are two solutions, the white lists and the
black lists. The simple option would be in this case to black list the
'blackslash'.
The problem here is that you are not whitelisting all the possible
arguments. There are others.
Incidentally your code would be easier to read like this:
par_params = 'line_top', 'line_bottom', 'pagebreak_top', 'pagebreak_bot',
'added_space_top', 'added_space_bottom'
while string.split(file.body[i+1][1:])[0] in par_params:
...
Since we know that file.body[i+1] starts with '\' we can exclude it from
the search, the string.split is to get the first word in that line.
> Georg
>
>
> PS: The web and cvs servers seem to be down.
I noticed that too. :-)
--
Josà AbÃlio
