/** * Timeout for long-running WebDAV operations (10 minutes). * Server-side zipping and large downloads can take significant time. */ export declare const LONG_OPERATION_TIMEOUT_MS = 600000; /** * Timeout for the server-side unzip operation (5 minutes). * * The unzip is a synchronous WebDAV POST with no server-side job handle, so it is * issued exactly ONCE and never retried on a network drop: re-issuing could start a * second extraction concurrently with one still running on the backend, racing writes * into the same code-version directory. This timeout therefore bounds how long the * client waits for the single attempt before surfacing a clear error — it is generous * enough for legitimately slow extractions of large archives to complete, while still * guaranteeing we don't hang indefinitely on a dead connection. */ export declare const UNZIP_TIMEOUT_MS = 300000;