AnalysisPageServer (version 1.6.2)

kill.process: kill.process

Description

Kill a process and wait for it.

Usage

kill.process(pid)

Arguments

pid

Process ID, or list with $pid component

Value

Same as wait in the fork package.

Details

Kill a process and wait for it. Nothing more than kill(pid); wait(pid), but handy to have a single function so you don't forget the wait() call.