log run_server.sh @ 219:4c0e0c7ca0f1

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).