changeset 796 | 13bba4066f90 |
parent 795 | 234c4314c6a4 |
child 798 | bca8ef6e70b3 |
794:12eadf33cce1 | 796:13bba4066f90 |
---|---|
501 finally: |
501 finally: |
502 os.remove(name) |
502 os.remove(name) |
503 |
503 |
504 def rematch(el, l): |
504 def rematch(el, l): |
505 try: |
505 try: |
506 # hack to deal with graphlog, which looks like bogus regexes |
|
507 if el.startswith('|'): |
|
508 el = '\\' + el |
|
506 return re.match(el, l) |
509 return re.match(el, l) |
507 except re.error: |
510 except re.error: |
508 # el is an invalid regex |
511 # el is an invalid regex |
509 return False |
512 return False |
510 |
513 |