Set default port for pydiaid gui

[MarcIsak]

Hi

Every time I run the following command: 'pydiaid gui' in a bash terminal (Ubuntu), a server launches with a new port number . I just wonder, is there a way to set a specific port number for the server when it launches?

I am running pydiaid v.0.0.18 in a docker container so it would be convenient to map a port outside the container to a specific container port (the default port for the launched server).

Best,

Marc