Disable error message when workspace.json does not exist. Fixes #1989

This commit is contained in:
Antonin Delpeuch 2019-06-06 17:33:04 +01:00
parent 203cf8c20e
commit afb787c845

View File

@ -363,11 +363,13 @@ public class FileProjectManager extends ProjectManager {
boolean found = false;
try {
ParsingUtilities.mapper.readerForUpdating(this).readValue(file);
found = true;
} catch(IOException e) {
logger.warn(e.toString());
if (file.exists() || file.canRead()) {
try {
ParsingUtilities.mapper.readerForUpdating(this).readValue(file);
found = true;
} catch(IOException e) {
logger.warn(e.toString());
}
}
return found;