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]