Local monitor R6 class
Details
See crew_monitor_local().
See also
Other monitor:
crew_monitor_local()
Methods
Method dispatchers()
List the process IDs of the running mirai dispatcher
processes.
Usage
crew_class_monitor_local$dispatchers(user = ps::ps_username())Method daemons()
List the process IDs of the locally running mirai daemon
processes which are not crew workers. The crew_async()
object can launch such processes: for example, when a positive
integer is supplied to the processes argument of e.g.
crew.aws.batch::crew_controller_aws_batch().
Usage
crew_class_monitor_local$daemons(user = ps::ps_username())Method workers()
List the process IDs of locally running crew workers
launched by the local controller (crew_controller_local()).
Usage
crew_class_monitor_local$workers(user = ps::ps_username())Arguments
userCharacter of length 1, user ID to filter on.
NULLto list processes of all users (not recommended).
Details
Only the workers running on your local computer are listed.
Workers that are not listed include jobs on job schedulers like
SLURM or jobs on cloud services like AWS Batch. To monitor
those worker processes, please consult the monitor objects in
the relevant third-party launcher plugins such as crew.cluster
and crew.aws.batch.
Returns
Integer vector of process IDs of locally running crew workers
launched by the local controller (crew_controller_local()).
Method terminate()
Terminate the given process IDs.
Details
Termination happens with the operating system signal
given by crew_terminate_signal().