MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup (duplicated properties)

Browse Source
This commit is contained in:
Roman Shevchenko
2016-10-28 16:45:12 +02:00
parent 5ac1d358b6
commit 099fd7ec63
3 changed files with 11 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-runtime/src/com/intellij/rt/execution/application/AppMain.java
+5 -4
View File
@@ -29,8 +29,9 @@ import java.util.Locale;
* @noinspection UseOfSystemOutOrSystemErr
*/
public class AppMain {
private static final String PROPERTY_PORT_NUMBER = "idea.launcher.port";
private static final String PROPERTY_BIN_PATH = "idea.launcher.bin.path";
public static final String LAUNCHER_PORT_NUMBER = "idea.launcher.port";
public static final String LAUNCHER_BIN_PATH = "idea.launcher.bin.path";
private static final String JAVAFX_LAUNCHER = "com.sun.javafx.application.LauncherImpl";
private static final String LAUNCH_APPLICATION_METHOD_NAME = "launchApplication";
@@ -103,8 +104,8 @@ public class AppMain {
public static void main(String[] args) throws Throwable {
try {
boolean helperLibLoaded = loadHelper(System.getProperty(PROPERTY_BIN_PATH));
int portNumber = Integer.parseInt(System.getProperty(PROPERTY_PORT_NUMBER));
boolean helperLibLoaded = loadHelper(System.getProperty(LAUNCHER_BIN_PATH));
int portNumber = Integer.parseInt(System.getProperty(LAUNCHER_PORT_NUMBER));
startMonitor(portNumber, helperLibLoaded);
}
catch (Throwable t) {