create or replace function pg_terminate_backend(int) returns int
language plperlu as $$
$pid = shift;
$ret = kill TERM, $pid;
elog WARNING, "could not send signal TERM to $pid: $!" unless $ret == 1;
return $ret;
$$;
--
Alvaro Herrera http://www.advogato.org/person/alvherre
La web junta la gente porque no importa que clase de mutante sexual seas,
tienes millones de posibles parejas. Pon "buscar gente que tengan sexo con
ciervos incendiándose", y el computador dirá "especifique el tipo de ciervo"
(Jason Alexander)
--
TIP 10: no uses HTML en tu pregunta, seguro que quien responda no podrá leerlo
