Assume PID file has been created just after server has started
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 3 Jan 2005 09:19:26 +0000 (09:19 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 3 Jan 2005 09:19:26 +0000 (09:19 +0000)
commit6cc6c9be5dd96693ad594072f6a7c16bd59e4a78
tree991511e1fb5c586ddc9b8887337b40144e419cc1
parent7932a969b3849997dfc607686b19fab1637cd26e
Assume PID file has been created just after server has started
test/gils/stop01.sh
test/gils/stop02.sh
test/gils/stop03.sh
test/gils/stop04.sh
test/gils/test1.sh
test/gils/test2.sh
test/gils/test3.sh
test/gils/timing1.sh
test/gils/timing2.sh