a process object, returned by
vos_process() or vos_start().
(will be restored from cache if not provided)
Details
vos_kill simply shuts down the local Virtuoso server,
it does not remove any data stored in the database system.
vos_kill() terminates the process, removing the
process id from the process table.