diff options
author | Leif Åstrand <leif@vaadin.com> | 2012-10-01 11:59:53 +0300 |
---|---|---|
committer | Leif Åstrand <leif@vaadin.com> | 2012-10-01 11:59:53 +0300 |
commit | 72ea54d8fa00ea17f462541584d51098929da895 (patch) | |
tree | 77069e16b97956430a50c4c79f1d1d6d5bd7d0f6 | |
parent | c057cf73a79e670a4d5458b03fe49c35ecd54675 (diff) | |
download | vaadin-framework-72ea54d8fa00ea17f462541584d51098929da895.tar.gz vaadin-framework-72ea54d8fa00ea17f462541584d51098929da895.zip |
Remove unused method (#9634)
Change-Id: Iad6f920d345832ec6bec49761a31ceb7290679e9
-rw-r--r-- | server/src/com/vaadin/server/VaadinServlet.java | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/server/src/com/vaadin/server/VaadinServlet.java b/server/src/com/vaadin/server/VaadinServlet.java index e73be682c2..9d1d79d8b1 100644 --- a/server/src/com/vaadin/server/VaadinServlet.java +++ b/server/src/com/vaadin/server/VaadinServlet.java @@ -1172,26 +1172,6 @@ public class VaadinServlet extends HttpServlet implements Constants { return request.getPathInfo(); } - /** - * Gets relative location of a theme resource. - * - * @param theme - * the Theme name. - * @param resource - * the Theme resource. - * @return External URI specifying the resource - * - * @deprecated might be refactored or removed before 7.0.0 - */ - @Deprecated - public String getResourceLocation(String theme, ThemeResource resource) { - - if (resourcePath == null) { - return resource.getResourceId(); - } - return resourcePath + theme + "/" + resource.getResourceId(); - } - public class RequestError implements Terminal.ErrorEvent, Serializable { private final Throwable throwable; |