| commit | 99b7bbe67e68024df7add842ae2566a373a833ec | [log] [tgz] |
|---|---|---|
| author | Thomas Vachuska <tom@opennetworking.org> | Thu Feb 01 15:29:46 2018 -0800 |
| committer | Ray Milkey <ray@opennetworking.org> | Fri Feb 02 17:44:19 2018 +0000 |
| tree | d21b945ffedabadf44581b68f25fdeb9fc72ee27 | |
| parent | f9af3d6050116a893c32bf562a30a272d5cdb408 [diff] [blame] |
Adding REST API and CLI for managing UI user preferences. Change-Id: If5a1b347bcf7443120c2dfbb096fca6695b8f0e2
diff --git a/web/gui/src/main/java/org/onosproject/ui/impl/UiExtensionManager.java b/web/gui/src/main/java/org/onosproject/ui/impl/UiExtensionManager.java index f3afa1a..a50fd1b 100644 --- a/web/gui/src/main/java/org/onosproject/ui/impl/UiExtensionManager.java +++ b/web/gui/src/main/java/org/onosproject/ui/impl/UiExtensionManager.java
@@ -366,7 +366,11 @@ @Override public void setPreference(String username, String key, ObjectNode value) { - prefs.put(key(username, key), value); + if (value != null) { + prefs.put(key(username, key), value); + } else { + prefs.remove(key(username, key)); + } } // =====================================================================