gui: Add advance config port mapping to gui (fixes #4824) (#7017)

2020-11-10 09:24:11 +01:00
parent 846b265430
commit 2f6a25a56f
6 changed files with 271 additions and 60 deletions
@@ -25,4 +25,5 @@ message DeviceConfiguration {
    repeated ObservedFolder pending_folders            = 15;
    int32                   max_request_kib            = 16 [(ext.goname) = "MaxRequestKiB", (ext.xml) = "maxRequestKiB", (ext.json) = "maxRequestKiB"];
    bool                    untrusted                  = 17;
+    int32                   remote_gui_port            = 18 [(ext.goname) = "RemoteGUIPort", (ext.xml) = "remoteGUIPort", (ext.json) = "remoteGUIPort"];
 }