# $Id$
kill <- function(pid, signal=15)
{
.C("Rfork_kill",
as.integer(pid),
as.integer(signal),
flag=integer(1),
PACKAGE="fork"
)$flag
}
killall <- function(signal=15)
{
if(!exists(".pidlist",where=.GlobalEnv))
warning("No processes to kill, ignored.")
for(pid in get(".pidlist",pos=.GlobalEnv))
kill(pid, signal)
invisible()
}
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.