| dd797749 | 03-Aug-2014 |
Jed Brown <jed@jedbrown.org> |
config: prefer str.replace(...) over re.sub(re.escape(...))
Some instances were not escaped, leading to failure when paths contain special characters. Combining re.sub with re.escape is rather perv
config: prefer str.replace(...) over re.sub(re.escape(...))
Some instances were not escaped, leading to failure when paths contain special characters. Combining re.sub with re.escape is rather perverse, so just use str.replace instead.
Reported-by: David Moxey <d.moxey@imperial.ac.uk>
show more ...
|