diff options
| -rw-r--r-- | server/src/com/vaadin/server/VaadinPortletService.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/VaadinPortletService.java b/server/src/com/vaadin/server/VaadinPortletService.java index 02974aeea5..8025fa7713 100644 --- a/server/src/com/vaadin/server/VaadinPortletService.java +++ b/server/src/com/vaadin/server/VaadinPortletService.java @@ -51,6 +51,13 @@ public class VaadinPortletService extends VaadinService { // portal property widgetset = VaadinPortletRequest.cast(request).getPortalProperty( VaadinPortlet.PORTAL_PARAMETER_VAADIN_WIDGETSET); + if ("com.vaadin.portal.gwt.PortalDefaultWidgetSet" + .equals(widgetset)) { + // For backwards compatibility - automatically map old portal + // default widget set to default widget set + widgetset = VaadinPortlet.DEFAULT_WIDGETSET; + + } } if (widgetset == null) { |