Merge pull request #291 from dedis/postgres-port

fix: expose PostgreSQL port

Author: pierluca

README.docker.md

@@ -18,6 +18,7 @@ DELA_PROXY_PORT_RANGE=8080-8082                 # Dela proxy ports (at least DEL
 DATABASE_USERNAME=dvoting                       # choose any PostgreSQL username
 DATABASE_PASSWORD=                              # choose any PostgreSQL password
 DATABASE_HOST=db                                # PostgreSQL host
+DATABASE_PORT=5432                              # PostgreSQL port
 FRONT_END_URL=http://localhost:3000             # frontend URL
 BACKEND_HOST=backend                            # backend host
 BACKEND_PORT=5000                               # backend port

docker-compose.yml

@@ -33,6 +33,7 @@ services:
       DATABASE_USERNAME: ${DATABASE_USERNAME}
       DATABASE_PASSWORD: ${DATABASE_PASSWORD}
       DATABASE_HOST: ${DATABASE_HOST}
+      DATABASE_PORT: ${DATABASE_PORT}
       FRONT_END_URL: ${FRONT_END_URL}
       DELA_NODE_URL: ${DELA_NODE_URL}
       SESSION_SECRET: ${SESSION_SECRET}
@@ -52,6 +53,8 @@ services:
     volumes:
       - postgres-data:/var/lib/postgresql/data
       - ./web/backend/src/migration.sql:/docker-entrypoint-initdb.d/init.sql
+    ports:
+      - 127.0.0.1:5432:${DATABASE_PORT}
 
 volumes:
   postgres-data:    # PostgreSQL database