From 1d0fa9a5f62ddf7fa3af4cff7a318f805fd8c085 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Garc=C3=ADa=20Aubert?=
 <danielgarciaaubert@gmail.com>
Date: Fri, 25 May 2018 14:23:19 +0200
Subject: [PATCH] Use the right port

---
 config/environments/development.js.example | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/environments/development.js.example b/config/environments/development.js.example
index d5b3327a..024c0013 100644
--- a/config/environments/development.js.example
+++ b/config/environments/development.js.example
@@ -118,7 +118,7 @@ var config = {
         user: "publicuser",
         password: "public",
         host: '127.0.0.1',
-        port: 6432
+        port: 5432
     }
     ,mapnik_version: undefined
     ,mapnik_tile_format: 'png8:m=h'