Prepend dot(.) if extension doesn't start with a dot.

eclipse · Dec 16, 2022 · 31aee8a · 31aee8a
1 parent 448cc34
commit 31aee8a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/server/src/main/java/org/eclipse/openvsx/ExtensionProcessor.java b/server/src/main/java/org/eclipse/openvsx/ExtensionProcessor.java
@@ -448,6 +448,10 @@ private Map<String, String> parseContentTypesXml(byte[] content) {
                 var element = elements.item(i);
                 var attributes = element.getAttributes();
                 var extension = attributes.getNamedItem("Extension").getTextContent();
+                if(!extension.startsWith(".")) {
+                    extension = "." + extension;
+                }
+
                 var contentType = attributes.getNamedItem("ContentType").getTextContent();
                 contentTypes.put(extension, contentType);
             }