"H. Etzel" <hetzel(dot)devel(at)web(dot)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