diff options
author | Rahmi Pruitt <rjpruitt16@gmail.com> | 2020-11-10 02:24:11 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-10 09:24:11 +0100 |
commit | 2f6a25a56faf075dd102ee528408e3b05b30c7c5 (patch) | |
tree | 9eefd6c739685f269a46b0fa026150c725fd426d /proto | |
parent | 846b2654300510f29805b146054685682d0c48f1 (diff) | |
download | syncthing-2f6a25a56faf075dd102ee528408e3b05b30c7c5.tar.gz syncthing-2f6a25a56faf075dd102ee528408e3b05b30c7c5.zip |
gui: Add advance config port mapping to gui (fixes #4824) (#7017)
Diffstat (limited to 'proto')
-rw-r--r-- | proto/lib/config/deviceconfiguration.proto | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proto/lib/config/deviceconfiguration.proto b/proto/lib/config/deviceconfiguration.proto index 319ab81eb..98bc597d5 100644 --- a/proto/lib/config/deviceconfiguration.proto +++ b/proto/lib/config/deviceconfiguration.proto @@ -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"]; } |