chiark / gitweb /
scripts/setup waits a bit to let the server start up. This is a real
authorRichard Kettlewell <rjk@greenend.org.uk>
Tue, 22 Apr 2008 18:00:13 +0000 (19:00 +0100)
committerRichard Kettlewell <rjk@greenend.org.uk>
Tue, 22 Apr 2008 18:00:13 +0000 (19:00 +0100)
commit4f70fa294199020b2d84023be1b07b27ad1cbd31
tree59a53c843327625567fb832fbbe94aa45f92498b
parent810b8083772d8f82e589ed70fa5e7d6d5292ccd8
scripts/setup waits a bit to let the server start up.  This is a real
bodge but will do for now.
scripts/setup.in