(kind, s, pid=None)
| 127 | |
| 128 | |
| 129 | def meta(kind, s, pid=None): |
| 130 | assert ':' not in kind |
| 131 | assert '@' not in kind |
| 132 | assert '\n' not in s |
| 133 | if pid is None: |
| 134 | pid = os.getpid() |
| 135 | write('@@REDO:%s:%d:%.4f@@ %s' |
| 136 | % (kind, pid, time.time(), s)) |
| 137 | |
| 138 | def err(s): |
| 139 | s = s.rstrip() |
no test coverage detected