View source: R/crew_terminate_process.R
| crew_terminate_process | R Documentation | 
Manually terminate a local process.
crew_terminate_process(pid)
| pid | Integer of length 1, process ID to terminate. | 
NULL (invisibly).
Other utility: 
crew_assert(),
crew_clean(),
crew_deprecate(),
crew_eval(),
crew_random_name(),
crew_retry(),
crew_terminate_signal(),
crew_worker()
if (identical(Sys.getenv("CREW_EXAMPLES"), "true")) {
process <- processx::process$new("sleep", "60")
process$is_alive()
crew_terminate_process(pid = process$get_pid())
process$is_alive()
}
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.