change web port back to 8080

Dockerfile

@@ -8,7 +8,7 @@ ENV LC_ALL en_US.UTF-8
 ENV PIPENV_VENV_IN_PROJECT 1
 ENV APP_ROOT /app
 ENV WSGI_APP ${APP_ROOT}/hive/server/serve.py
-ENV HTTP_SERVER_PORT 9000
+ENV HTTP_SERVER_PORT 8080
 
 RUN \
     apt-get update && \

docker-compose.yml

@@ -22,7 +22,7 @@ services:
     links:
       - mysql:db
     ports:
-      - 9000:9000
+      - 8080:8080
     volumes:
       - .:/app
     restart: always

hive/server/serve.py

@@ -97,7 +97,7 @@ if __name__ == '__main__':
     import argparse
     parser = argparse.ArgumentParser(description="hivemind jsonrpc server")
     parser.add_argument('--database_url',type=str, default='mysql://root:root_password@127.0.0.1:3306/testdb')
-    parser.add_argument('--port', type=int, default=9000)
+    parser.add_argument('--port', type=int, default=8080)
     args = parser.parse_args()
     app['config']['args'] = args
     web.run_app(app, port=args.port)