log run_server.sh @ 243:fdb616b63365

age author description
Thu, 02 Jul 2009 19:48:44 +0200 Arne Babenhauserheide Added script to run teh server locally (to make it easier for other people to start contributing).