hongshaorou/openrocket
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

When constructing a file name based on the name of a resource in a .jar file, if it has no extension give it an extension of .txt

Browse Source
This commit is contained in:
JoePfeiffer 2022-02-08 18:05:24 -07:00
parent f8997d83f1
commit 44271711a6
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
swing/src/net/sf/openrocket/gui/components/DescriptionArea.java
View File

@ -95,17 +95,20 @@ public class DescriptionArea extends JScrollPane {
if (uri.getScheme().equals("jar")) {
// get the resource
String uriString = uri.toString();
String resourceName = uriString.substring(uriString.indexOf("!") + 1);
final String uriString = uri.toString();
final String resourceName = uriString.substring(uriString.indexOf("!") + 1);
final BufferedInputStream is = new BufferedInputStream(getClass().getResourceAsStream(resourceName));
// construct filename from resource name
String prefix = resourceName.substring(1);
String suffix = null;
String suffix;
final int dotIndex = prefix.lastIndexOf(".");
if (dotIndex > 0) {
prefix = resourceName.substring(0, dotIndex);
suffix = resourceName.substring(dotIndex+1);
} else {
// if there is no suffix, assume it's a raw text file.
suffix = ".txt";
}