Skip to content
Snippets Groups Projects
Commit b3487520 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Toolbox intermittently fails to display state graph.

Eclipse's internal FS cache can become stale. Thus, use java.io.File
directly.

[Bug][Toolbox]
parent 4ef3ee85
Branches
No related tags found
No related merge requests found
...@@ -499,7 +499,9 @@ public class Model implements IModelConfigurationConstants, IAdaptable { ...@@ -499,7 +499,9 @@ public class Model implements IModelConfigurationConstants, IAdaptable {
public boolean hasStateGraphDump() { public boolean hasStateGraphDump() {
final String name = getName().concat(DOT_FILE_EXT); final String name = getName().concat(DOT_FILE_EXT);
final IFile file = getFolder().getFile(name); // Convert to java.io.File rather than Eclipse's IFile. For the latter
// file.exists might return null if Eclipse's internal FS cache is stale.
final File file = getFolder().getFile(name).getLocation().toFile();
return file.exists(); return file.exists();
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment