Bruce Momjian wrote:
> Howard Cole wrote:
> >
> > >>>> Which you can do, no? I thought pg_ctl's kill option was invented
> > >>>> specifically to make this less painful on Windows.
> > > I shall look into the pg_ctl options to see if the kill option does
> > > what taskill cannot (thanks for the heads up on that)
> > >
> > Using
> > $ pg_ctl kill TERM [pid]
> > worked great. Since very few people seem to know about this, could I
> > suggest making it more prominent in the server administration pages.
>
> Agreed. I have added the second sentence to our 8.3 beta docs:
>
> Alternatively, you can send the signal directly using <command>kill</>
> (or <command>pg_ctl kill TERM [process id]</> on <productname>Windows</>).
>
> You can actually use pg_ctl kill on Unix too but it seems awkward to
> suggest it in the existing sentence.
Huh, why is it awkward?
Alternatively, you can send the signal directly using <command>kill</>
(or <command>pg_ctl kill TERM [process id]</>).
--
Alvaro Herrera http://www.CommandPrompt.com/
The PostgreSQL Company - Command Prompt, Inc.
---------------------------(end of broadcast)---------------------------
TIP 3: Have you checked our extensive FAQ?
http://www.postgresql.org/docs/faq
