max.mehl bfec9af6f0 enhance update of listen-port on clients ... The server cannot change its port. Therefore we set two different ports. We also remove the redundant firewall tag		2022-03-04 12:48:44 +01:00
..
client	enhance update of listen-port on clients	2022-03-04 12:48:44 +01:00
server	enhance update of listen-port on clients	2022-03-04 12:48:44 +01:00