log run_server.sh @ 220:ba2e86b79867

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