"H. Etzel" <hetzel.devel@web.de> writes:
> I think this does not work!!
> I have had the same Problem, but after I killed on connection all other
> connection were reseted!!
You're not supposed to do it like that --- use "kill -INT pid" not
a plain kill.
regards, tom lane