Next:
SERVER_insertLineNumber
Up:
./inc/server.php
Previous:
SERVER_killPID
Contents
SERVER_killBackgroundJob
Description:
Kills a job (that runs in screen) with a given name.
Parameter:
job: Name of the job that should be killed.
user: User the job runs under.
