Merge pull request #259 from anton-reutov/patch-7

Update ports.conf

install/ubuntu/firewall/ports.conf

@@ -13,3 +13,4 @@ PROTOCOL='TCP' PORT='5432'
 PROTOCOL='TCP' PORT='8080'
 PROTOCOL='TCP' PORT='8443'
 PROTOCOL='TCP' PORT='8083'
+PROTOCOL='TCP' PORT='12000:12100'