Merge branch '118-default-server-port' into 'master'

fix: change the default server port (postgres-ai#118)

Closes postgres-ai#118

See merge request postgres-ai/database-lab!96

Author: agneum

Dockerfile.dblab-server

@@ -3,7 +3,7 @@
 #   --name dblab_server \
 #   --label dblab_control \
 #   --privileged \
-#   --publish 3000:3000 \
+#   --publish 2345:2345 \
 #   --restart on-failure \
 #   --volume /var/run/docker.sock:/var/run/docker.sock \
 #   --volume /var/lib/dblab:/var/lib/dblab:rshared \
@@ -17,7 +17,7 @@
 #   --name dblab_server \
 #   --label dblab_control \
 #   --privileged \
-#   --publish 3000:3000 \
+#   --publish 2345:2345 \
 #   --restart on-failure \
 #   --volume /var/run/docker.sock:/var/run/docker.sock \
 #   --volume /var/lib/dblab:/var/lib/dblab:rshared \

README.md

@@ -90,7 +90,7 @@ initialize CLI and start communicating with the Database Lab server(s).
 ```bash
 dblab init \
   --environment-id=tutorial \
-  --url=http://$IP_OR_HOSTNAME:3000 \
+  --url=http://$IP_OR_HOSTNAME:2345 \
   --token=secret_token
 ```
 

configs/config.sample.yml

@@ -3,7 +3,7 @@
 
 server:
   verificationToken: "secret_token"
-  port: 3000
+  port: 2345
 
 # Postgres.ai Platform integration.
 platform: