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)
bodge but will do for now.


No differences found