##// END OF EJS Templates
make it possible to escape characters in a glob expression
Benoit Boissinot -
r1990:4b0535c6 default
parent child Browse files
Show More
@@ -155,6 +155,13 b" def globre(pat, head='^', tail='$'):"
155 group = False
155 group = False
156 elif c == ',' and group:
156 elif c == ',' and group:
157 res += '|'
157 res += '|'
158 elif c == '\\':
159 p = peek()
160 if p:
161 i += 1
162 res += re.escape(p)
163 else:
164 res += re.escape(c)
158 else:
165 else:
159 res += re.escape(c)
166 res += re.escape(c)
160 return head + res + tail
167 return head + res + tail
General Comments 0
You need to be logged in to leave comments. Login now