log run_server.sh @ 210:34c3f878f09c

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