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

IDEA-184352 java.io.FileNotFoundException - correctly remove the settings file (IDEA-CR-30232)

Browse Source
This commit is contained in:
Egor Ushakov
2018-03-07 16:21:08 +03:00
parent 848dfbffa3
commit 0ec60e9bfb
1 changed files with 33 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/debugger/debugger-agent/src/com/intellij/rt/debugger/agent/CaptureAgent.java
+33 -36
View File
@@ -11,7 +11,6 @@ import java.lang.instrument.ClassFileTransformer;
import java.lang.instrument.Instrumentation;
import java.lang.instrument.UnmodifiableClassException;
import java.net.URI;
import java.net.URISyntaxException;
import java.security.ProtectionDomain;
import java.util.*;
@@ -69,47 +68,19 @@ public class CaptureAgent {
System.setProperty(modulesKey, property);
}
private static void readSettings(String path) {
private static void readSettings(String uri) {
Properties properties = new Properties();
File file;
FileReader reader = null;
try {
reader = new FileReader(new URI(path).getPath());
Properties properties = new Properties();
file = new File(new URI(uri));
reader = new FileReader(file);
properties.load(reader);
DEBUG = Boolean.parseBoolean(properties.getProperty("debug", "false"));
if (DEBUG) {
CaptureStorage.setDebug(true);
}
if (Boolean.parseBoolean(properties.getProperty("disabled", "false"))) {
CaptureStorage.setEnabled(false);
}
boolean deleteSettings = Boolean.parseBoolean(properties.getProperty("deleteSettings", "true"));
Enumeration<?> propNames = properties.propertyNames();
while (propNames.hasMoreElements()) {
String propName = (String)propNames.nextElement();
if (propName.startsWith("capture")) {
addPoint(true, properties.getProperty(propName));
}
else if (propName.startsWith("insert")) {
addPoint(false, properties.getProperty(propName));
}
}
// delete settings file only if it was read correctly
if (deleteSettings) {
new File(path).delete();
}
}
catch (IOException e) {
System.out.println("Capture agent: unable to read settings");
e.printStackTrace();
}
catch (URISyntaxException e) {
catch (Exception e) {
System.out.println("Capture agent: unable to read settings");
e.printStackTrace();
return;
}
finally {
if (reader != null) {
@@ -121,6 +92,32 @@ public class CaptureAgent {
}
}
}
DEBUG = Boolean.parseBoolean(properties.getProperty("debug", "false"));
if (DEBUG) {
CaptureStorage.setDebug(true);
}
if (Boolean.parseBoolean(properties.getProperty("disabled", "false"))) {
CaptureStorage.setEnabled(false);
}
Enumeration<?> propNames = properties.propertyNames();
while (propNames.hasMoreElements()) {
String propName = (String)propNames.nextElement();
if (propName.startsWith("capture")) {
addPoint(true, properties.getProperty(propName));
}
else if (propName.startsWith("insert")) {
addPoint(false, properties.getProperty(propName));
}
}
// delete settings file only if it was read correctly
if (Boolean.parseBoolean(properties.getProperty("deleteSettings", "true"))) {
//noinspection ResultOfMethodCallIgnored
file.delete();
}
}
private static <T> List<T> getNotNull(List<T> list) {