tests/run-tests.py
changeset 796 13bba4066f90
parent 795 234c4314c6a4
child 798 bca8ef6e70b3
equal deleted inserted replaced
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