(path: str)
| 19 | |
| 20 | |
| 21 | def _normalize_workspace_path(path: str) -> str: |
| 22 | clean = (path or "").replace("\\", "/").strip().lstrip("/") |
| 23 | parts: list[str] = [] |
| 24 | for part in clean.split("/"): |
| 25 | if part in ("", "."): |
| 26 | continue |
| 27 | if part == "..": |
| 28 | if parts: |
| 29 | parts.pop() |
| 30 | continue |
| 31 | parts.append(part) |
| 32 | return "/".join(parts) |
| 33 | |
| 34 | |
| 35 | def _lock_key(agent_id: uuid.UUID, path: str) -> str: |
no outgoing calls
no test coverage detected