diff --git a/DESCRIPTION b/DESCRIPTION index a3dae07a..a97a5fd0 100644 --- a/DESCRIPTION +++ b/DESCRIPTION @@ -15,7 +15,8 @@ Authors@R: person(given = "Mike", family = "Lawrence", role = "ctb"), person(given = c("William", "Michael"), family = "Landau", role = "ctb", email = "will.landau@gmail.com", comment = c(ORCID = "0000-0003-1878-3253")), - person(given = "Jacob", family = "Socolar", role = "ctb")) + person(given = "Jacob", family = "Socolar", role = "ctb"), + person(given = "Martin", family = "ModrĂ¡k", role = "ctb")) Description: A lightweight interface to 'Stan' . The 'CmdStanR' interface is an alternative to 'RStan' that calls the command line interface for compilation and running algorithms instead of interfacing diff --git a/R/utils.R b/R/utils.R index 639daf0b..519a21f8 100644 --- a/R/utils.R +++ b/R/utils.R @@ -543,7 +543,12 @@ wsl_installed <- function() { tryCatch({ # Call can hang indefinitely on Github actions, so explicitly kill p <- processx::process$new("wsl", "uname") - Sys.sleep(1) + for(i in 1:50) { + Sys.sleep(0.1) + if(!p$is_alive()) { + break + } + } if (p$is_alive()) { p$kill() FALSE