log run_server.sh @ 226:36eb588b8b41

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