Integrated: 7505: Cannot reset websocket server port to default

[Alex Macdonald]

On Wed, 12 Jan 2022 16:17:53 GMT, Alex Macdonald <aptmac at openjdk.org> wrote:

> 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:
> ![websocket-reset-before](https://user-images.githubusercontent.com/10425301/149178788-f2a12ee2-d6f7-4438-85f2-a56e11c743d6.gif)
> 
> After:
> ![websocket-reset-after](https://user-images.githubusercontent.com/10425301/149178778-f2d707d3-6a7f-4eb7-a603-b2de63aee319.gif)

This pull request has now been integrated.

Changeset: 70aa834a
Author:    Alex Macdonald <aptmac at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/70aa834a5eca40a4c65adc4f0e6287635f4455e3
Stats:     2 lines in 1 file changed: 1 ins; 0 del; 1 mod

7505: Cannot reset websocket server port to default

Reviewed-by: hirt

-------------

PR: https://git.openjdk.java.net/jmc/pull/353