From 84000b85056453c8be87c073fa2580194dd8763a Mon Sep 17 00:00:00 2001
From: Christopher Rackauckas <accounts@chrisrackauckas.com>
Date: Sat, 7 Oct 2023 10:50:12 +0200
Subject: [PATCH] Fix timeouts in install_julia

The current default timeout is too low for the current binary size so it tends to fail on v1.9. This makes it more robust.
---
 R/installJulia.R | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/R/installJulia.R b/R/installJulia.R
index 7944cde..0230f9f 100644
--- a/R/installJulia.R
+++ b/R/installJulia.R
@@ -93,7 +93,10 @@ install_julia <- function(version = "latest",
 
     file <- tempfile()
     tryCatch({
+        old_timeout = getOption("timeout")
+        options(timeout = 300)
         utils::download.file(url, file)
+        options(timeout = old_timeout)
     }, error = function(err) {
         stop(paste("There was an error downloading Julia. This could be due ",
                    "to network issues, and might be resolved by re-running ",