equal
deleted
inserted
replaced
153 elif c == '}' and group: |
153 elif c == '}' and group: |
154 res += ')' |
154 res += ')' |
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 |
161 |
168 |
162 _globchars = {'[': 1, '{': 1, '*': 1, '?': 1} |
169 _globchars = {'[': 1, '{': 1, '*': 1, '?': 1} |