(label: str, *, width: int = 52)
| 23 | |
| 24 | @contextmanager |
| 25 | def timed(label: str, *, width: int = 52): |
| 26 | start = time.time() |
| 27 | print(f"{label:<{width}} ", file=sys.stderr, end="", flush=True) |
| 28 | try: |
| 29 | yield |
| 30 | finally: |
| 31 | dt = time.time() - start |
| 32 | print(f" [{dt:7.2f}s]", file=sys.stderr) |
| 33 | |
| 34 | |
| 35 | def to_sql_string(q: bytes | SQL | Composable | LiteralString, conn) -> str: |