RFR: 7505: Cannot reset websocket server port to default
Alex Macdonald
aptmac at openjdk.java.net
Wed Jan 12 16:23:44 UTC 2022
This quick change addresses JMC-7505 [[0]](https://bugs.openjdk.java.net/browse/JMC-7505), in which the Preferences menu does not reset the value of the websocket server port.
The fix is to add the missing call to `loadWebsocketPortFromPrefStore()` in the `performDefaults()`.
Before:

After:

-------------
Commit messages:
- 7505: Cannot reset websocket server port to default
Changes: https://git.openjdk.java.net/jmc/pull/353/files
Webrev: https://webrevs.openjdk.java.net/?repo=jmc&pr=353&range=00
Issue: https://bugs.openjdk.java.net/browse/JMC-7505
Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod
Patch: https://git.openjdk.java.net/jmc/pull/353.diff
Fetch: git fetch https://git.openjdk.java.net/jmc pull/353/head:pull/353
PR: https://git.openjdk.java.net/jmc/pull/353
More information about the jmc-dev
mailing list