![]() |
|
|||
File indexing completed on 2024-10-01 05:02:21
0001 # To change this template, choose Tools | Templates 0002 # and open the template in the editor. 0003 0004 __author__="Aurelija" 0005 __date__ ="$2010-08-25 11.18.53$" 0006 0007 def pathsToRegEx(Paths): 0008 paths = [] 0009 for path in Paths: 0010 path = pathToRegEx(path) 0011 paths.append(path) 0012 return paths 0013 0014 def pathToRegEx(path): 0015 path = path.replace("\\", "\\\\") 0016 path = "\\A%s$" %path 0017 path = path.replace(".", "\\.") 0018 path = path.replace("*",".*") 0019 return path
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |
![]() ![]() |