| commit | 5baa2700dfd9d6131af5ce41fc0e5fd404f88430 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Tue Nov 02 20:44:53 2021 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Tue Nov 02 20:44:53 2021 +0000 |
| tree | d1e95e66038c6159c34a44b3a8bf3a350bfe4600 | |
| parent | 8871668d7079ecef1a4e92890b7bac3076d1418c [diff] |
[unrelated] Close execution graphml files
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/Execution2GraphVisitor.java b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/Execution2GraphVisitor.java index 440ecb9..22b0e98 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/Execution2GraphVisitor.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/Execution2GraphVisitor.java
@@ -137,7 +137,7 @@ GraphMLStringBuilder s = new GraphMLStringBuilder(); Execution2GraphVisitor execution2GraphVisitor = new Execution2GraphVisitor(s); tx.accept(execution2GraphVisitor); - outputStream.write(s.toString().getBytes()); + outputStream.write(s.close().getBytes()); outputStream.close(); } catch (IOException e) { // TODO Auto-generated catch block