(timeit, msg)
| 31 | |
| 32 | |
| 33 | def endTimer(timeit, msg): |
| 34 | global startTime |
| 35 | if timeit and startTime is not None: |
| 36 | endTime = time.process_time() |
| 37 | logDiag(msg, endTime - startTime) |
| 38 | startTime = None |
| 39 | |
| 40 | |
| 41 | def makeREstring(strings, default=None, strings_are_regex=False): |