Move pgkill out into /port so pg_ctl can use it on Win32.
authorBruce Momjian <bruce@momjian.us>
Thu, 27 May 2004 13:08:57 +0000 (13:08 +0000)
committerBruce Momjian <bruce@momjian.us>
Thu, 27 May 2004 13:08:57 +0000 (13:08 +0000)
commit6f21f4adaa87f7ba4dedda01a1c392ee472f43c2
treec81dc3428aae143d0a2766e1e3203d7b9c6afb0b
parentd157b7bbc74643dc7459b813d9ed073a629ecd8a
Move pgkill out into /port so pg_ctl can use it on Win32.
configure
configure.in
src/backend/port/win32/signal.c
src/include/port/win32.h
src/port/kill.c [new file with mode: 0644]