Change the default port to 2345
Goal
To avoid possible conflicts, change the default server port of the Database Lab to 2345
TODO / How to implement
- change the default value of server port:
3000
to2345
for Database Lab instances - take into account the documentation