Changing the default port

By default the server accepts requests at the port 7073, but if this port is not free, another one can be used
(this port must be also set for the clients, see section Running the GiD client)

Note: It's possible to directly change the file 'config/passerver.config', adding the line 'port <number>' For example, to set the port to 1026:

port 1026