diff options
| -rw-r--r-- | server/src/main/java/com/vaadin/server/ExternalResource.java | 4 | ||||
| -rw-r--r-- | server/src/main/java/com/vaadin/server/ThemeResource.java | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/server/src/main/java/com/vaadin/server/ExternalResource.java b/server/src/main/java/com/vaadin/server/ExternalResource.java index 85cb42843d..a7137d7a77 100644 --- a/server/src/main/java/com/vaadin/server/ExternalResource.java +++ b/server/src/main/java/com/vaadin/server/ExternalResource.java @@ -80,7 +80,7 @@ public class ExternalResource implements Resource, Serializable { throw new RuntimeException("Source must be non-null"); } - this.sourceURL = sourceURL.toString(); + this.sourceURL = sourceURL; } /** @@ -113,7 +113,7 @@ public class ExternalResource implements Resource, Serializable { @Override public String getMIMEType() { if (mimeType == null) { - mimeType = FileTypeResolver.getMIMEType(getURL().toString()); + mimeType = FileTypeResolver.getMIMEType(getURL()); } return mimeType; } diff --git a/server/src/main/java/com/vaadin/server/ThemeResource.java b/server/src/main/java/com/vaadin/server/ThemeResource.java index 97c7fb5036..8fc0a76bad 100644 --- a/server/src/main/java/com/vaadin/server/ThemeResource.java +++ b/server/src/main/java/com/vaadin/server/ThemeResource.java @@ -84,7 +84,7 @@ public class ThemeResource implements Resource { */ @Override public String toString() { - return resourceID.toString(); + return resourceID; } /** |