crew_terminate_process: Manually terminate a local process.

In wlandau/crew: A Distributed Worker Launcher Framework

Manually terminate a local process.

Description

Manually terminate a local process.

Usage

crew_terminate_process(pid)

Arguments

pid	Integer of length 1, process ID to terminate.

Value

NULL (invisibly).

See Also

Other utility: crew_assert(), crew_clean(), crew_deprecate(), crew_eval(), crew_random_name(), crew_retry(), crew_terminate_signal(), crew_worker()

Examples

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()
}

wlandau/crew documentation built on Feb. 8, 2025, 10:12 a.m.