Porteinstellungen werden nicht gespeichert

[StephanRichter]

Vorgehen:
Öffnen des Clients, dann Navigation zu Menü > Servereinstellungen.
Ändern der Portnummer. Verlassen der Einstellungen mittels "Zurück"-Taste.

Ergebnis:
Erneutes Öffnen der Servereinstellungen zeigt wieder die voreingestellte Portnummer 4303.

Was sollte passieren?
Die geänderte Portnummer sollte erscheinen.

Anmerkungen:
Es ist unklar, ob die voreingestellte Nummer beim Öffnen der Einstellungen geladen wird, oder auch gespeichert wird.