added again old develop_server.sh