7505: Cannot reset websocket server port to default

Reviewed-by: hirt
openjdk · Jan 12, 2022 · 70aa834 · 70aa834
1 parent be067ab
commit 70aa834
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...trecorder.ui/src/main/java/org/openjdk/jmc/flightrecorder/ui/preferences/GeneralPage.java b/...trecorder.ui/src/main/java/org/openjdk/jmc/flightrecorder/ui/preferences/GeneralPage.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2018, 2021, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2018, 2022, Oracle and/or its affiliates. All rights reserved.
  *
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
@@ -424,6 +424,7 @@ protected void performDefaults() {
 		loadItemListSizeFromPrefStore(true);
 		loadPropertiesArrayStringSizeFromPrefStore(true);
 		loadEditorRuleEvaluationThreadsFromPrefStore(true);
+		loadWebsocketPortFromPrefStore(true);
 		super.performDefaults();
 	}