mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[build] optional //names@fullname attribute (IDEA-CR-23982)
This commit is contained in:
Binary file not shown.
@@ -25,7 +25,6 @@ import org.jdom.input.SAXBuilder;
|
||||
|
||||
import java.awt.image.BufferedImage;
|
||||
import java.io.*;
|
||||
import java.nio.charset.Charset;
|
||||
import java.util.*;
|
||||
import java.util.regex.Matcher;
|
||||
import java.util.regex.Pattern;
|
||||
@@ -128,7 +127,7 @@ public class LauncherGeneratorMain {
|
||||
String companyName = getChild(appInfoRoot, "company").getAttributeValue("name");
|
||||
Element names = getChild(appInfoRoot, "names");
|
||||
String productShortName = names.getAttributeValue("product");
|
||||
String productFullName = names.getAttributeValue("fullname");
|
||||
String productFullName = names.getAttributeValue("fullname", productShortName);
|
||||
Element versionElement = getChild(appInfoRoot, "version");
|
||||
int majorVersion = Integer.parseInt(versionElement.getAttributeValue("major"));
|
||||
String minorVersionString = versionElement.getAttributeValue("minor");
|
||||
|
||||
Reference in New Issue
Block a user