From f0486891975e254fc63200de19633e0b5f44f73e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Modr=C3=A1k?= Date: Fri, 25 Aug 2023 14:54:02 +0200 Subject: [PATCH 1/2] Changed the delay behavour in wsl_installed --- R/utils.R | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/R/utils.R b/R/utils.R index 2f7d2b60..aa189685 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 From f0812a1e2092ab5827f1ac6a2b8d0c2968bb9d9f Mon Sep 17 00:00:00 2001 From: jgabry Date: Wed, 13 Sep 2023 12:16:37 -0600 Subject: [PATCH 2/2] add Martin as contributor --- DESCRIPTION | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/DESCRIPTION b/DESCRIPTION index 9c9cd3da..8a713159 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