mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-13 21:55:01 +07:00
[java] makes source code compatible with outdated IDEA builds
This commit is contained in:
@@ -150,16 +150,21 @@ public class AppMainV2 {
|
||||
|
||||
public static class Agent {
|
||||
public static void premain(String args, Instrumentation i) {
|
||||
try {
|
||||
int p = args.indexOf(':');
|
||||
if (p < 0) throw new IllegalArgumentException("incorrect parameter: " + args);
|
||||
boolean helperLibLoaded = loadHelper(args.substring(p + 1));
|
||||
int portNumber = Integer.parseInt(args.substring(0, p));
|
||||
startMonitor(portNumber, helperLibLoaded);
|
||||
}
|
||||
catch (Throwable t) {
|
||||
System.err.println("Launcher failed - \"Dump Threads\" and \"Exit\" actions are unavailable (" + t.getMessage() + ')');
|
||||
}
|
||||
AppMainV2.premain(args);
|
||||
}
|
||||
}
|
||||
|
||||
// todo[r.sh] inline some time after 2017.1.1 release
|
||||
public static void premain(String args) {
|
||||
try {
|
||||
int p = args.indexOf(':');
|
||||
if (p < 0) throw new IllegalArgumentException("incorrect parameter: " + args);
|
||||
boolean helperLibLoaded = loadHelper(args.substring(p + 1));
|
||||
int portNumber = Integer.parseInt(args.substring(0, p));
|
||||
startMonitor(portNumber, helperLibLoaded);
|
||||
}
|
||||
catch (Throwable t) {
|
||||
System.err.println("Launcher failed - \"Dump Threads\" and \"Exit\" actions are unavailable (" + t.getMessage() + ')');
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user