Actually ignore subsequent defaults (#8226)

diff --git a/WebContent/VAADIN/vaadinBootstrap.js b/WebContent/VAADIN/vaadinBootstrap.js
index 37cd037664d62571e87a11f367e20de02b2fad0b..1de61917b878953912007921e4dbfecd8bbd7670 100644 (file)
--- a/WebContent/VAADIN/vaadinBootstrap.js
+++ b/WebContent/VAADIN/vaadinBootstrap.js
@@ -63,6 +63,7 @@
                setDefaults: function(d) {
                        if (defaults) {
                                log("Ignoring new defaults as defaults have already been loaded");
+                               return;
                        }
                        log("Got defaults", d)
                        defaults = d;