crew_terminate_process {crew}R Documentation

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

[Package crew version 0.9.5 Index]