From e211f623066f3582a83b695e41a44be7e18b840c Mon Sep 17 00:00:00 2001
From: Olivier DOSSMANN <olivier+git@dossmann.net>
Date: Tue, 11 Apr 2017 11:45:59 +0200
Subject: [PATCH] [ADD] Permit to use a different postgreSQL port. 5433 by
 default

---
 launch.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/launch.sh b/launch.sh
index 6edbeb7..a6e3bb0 100755
--- a/launch.sh
+++ b/launch.sh
@@ -11,6 +11,7 @@ GIT_BRANCH="dev"  # Default Git Branch
 GIT_DIR_NAME="gissmo"
 DOCKERFILE_NAME="Dockerfile"
 POSTGRES_VERSION="9.5"
+POSTGRES_PORT=5433
 GISSMO_DOCKER_NAME="gissmo"
 
 ## User
@@ -174,7 +175,7 @@ config file)."
 create() {
   test_create
   init
-  $docker_cmd run -d -P -v "${DB_DIR}:/var/lib/postgresql/data" --name "${POSTGRES_DOCKER_NAME}" "postgres:${POSTGRES_VERSION}" || error_and_quit "Launching database docker container failed."
+  $docker_cmd run -d -p ${POSTGRES_PORT}:5432 -v "${DB_DIR}:/var/lib/postgresql/data" --name "${POSTGRES_DOCKER_NAME}" "postgres:${POSTGRES_VERSION}" || error_and_quit "Launching database docker container failed."
 }
 
 dev() {