Use "audio/mpeg" mime for mp3 samples

Feodor0090 · Jun 21, 2023 · 077f381 · 077f381
1 parent 5f77039
commit 077f381
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/nmania/Sample.java b/src/nmania/Sample.java
@@ -13,7 +13,10 @@ public Sample(String file, String type) throws IOException, MediaException {
 			player = Manager.createPlayer(file);
 		} else {
 			if (type == null) {
-				type = "audio/" + file.substring(file.lastIndexOf('.') + 1, file.length());
+				String ext = file.substring(file.lastIndexOf('.') + 1, file.length()).toLowerCase();
+				if ("mp3".equals(ext))
+					ext = "mpeg";
+				type = "audio/" + ext;
 			}
 			player = Manager.createPlayer(getClass().getResourceAsStream(file), type);
 		}