kill_webppl: Kill rwebppl processes

Description Usage Arguments Examples

Description

Kill rwebppl processes

Usage

1
kill_webppl(pids = NULL)

Arguments

pids

(optional) Vector of process IDs to kill (defaults to killing all rwebppl processes)

Examples

1
2
## Not run: kill_webppl()
## Not run: kill_webppl(6939)

mhtess/rwebppl documentation built on May 22, 2019, 8:57 p.m.