diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2023-02-10 14:04:27 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-02-10 14:04:27 +0300 |
commit | 4887f43d983898e48feaffc467327bc7fc4e1180 (patch) | |
tree | 755e24995452ae20fbddf657e582819de8b27e25 /bpkg/system-package-manager.cxx | |
parent | e1c36d138fb38cfe46cb236b87f092810075ef20 (diff) |
Add support for fetch timeout to system package managers
Diffstat (limited to 'bpkg/system-package-manager.cxx')
-rw-r--r-- | bpkg/system-package-manager.cxx | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bpkg/system-package-manager.cxx b/bpkg/system-package-manager.cxx index caf951f..2ec7a60 100644 --- a/bpkg/system-package-manager.cxx +++ b/bpkg/system-package-manager.cxx @@ -53,10 +53,14 @@ namespace bpkg { // Note: similar to make_consumption_system_package_manager() below. - optional<bool> progress (co.progress () ? true : + optional<bool> progress (co.progress () ? true : co.no_progress () ? false : optional<bool> ()); + optional<size_t> fetch_timeout (co.fetch_timeout_specified () + ? co.fetch_timeout () + : optional<size_t> ()); + unique_ptr<system_package_manager> r; if (optional<os_release> oos = host_os_release (host)) @@ -80,7 +84,7 @@ namespace bpkg r.reset (new system_package_manager_debian ( move (os), host, arch, - progress, install, fetch, yes, sudo)); + progress, fetch_timeout, install, fetch, yes, sudo)); } else if (is_or_like (os, "fedora") || is_or_like (os, "rhel") || @@ -100,7 +104,7 @@ namespace bpkg r.reset (new system_package_manager_fedora ( move (os), host, arch, - progress, install, fetch, yes, sudo)); + progress, fetch_timeout, install, fetch, yes, sudo)); } // NOTE: remember to update the --sys-distribution pkg-build option // documentation if adding support for another package manager. |