src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugContext.java
--- a/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugContext.java Fri Feb 02 10:37:48 2018 -0500
+++ b/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugContext.java Fri Feb 02 17:28:17 2018 -0800
@@ -56,12 +56,12 @@
import java.util.SortedMap;
import java.util.TreeMap;
+import org.graalvm.collections.EconomicMap;
+import org.graalvm.collections.EconomicSet;
+import org.graalvm.collections.Pair;
import org.graalvm.compiler.options.OptionKey;
import org.graalvm.compiler.options.OptionValues;
import org.graalvm.graphio.GraphOutput;
-import org.graalvm.util.EconomicMap;
-import org.graalvm.util.EconomicSet;
-import org.graalvm.util.Pair;
import jdk.vm.ci.meta.JavaMethod;
@@ -1937,10 +1937,17 @@
if (description != null) {
printMetrics(description);
}
- if (metricsEnabled && globalMetrics != null && metricValues != null) {
+ if (metricsEnabled && metricValues != null && globalMetrics != null) {
globalMetrics.add(this);
}
metricValues = null;
+ if (sharedChannel != null) {
+ try {
+ sharedChannel.realClose();
+ } catch (IOException ex) {
+ // ignore.
+ }
+ }
}
public void closeDumpHandlers(boolean ignoreErrors) {
@@ -2022,7 +2029,6 @@
}
}
}
-
}
/**