From 3872f912e1e1b9374cb724a546cb7ec8d235dae7 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 22 Mar 2019 15:14:55 +0100
Subject: [PATCH] close JSON parser after deserialization
---
src/main/jastadd/Backend.jadd | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/jastadd/Backend.jadd b/src/main/jastadd/Backend.jadd
index fe97cef..5401260 100644
--- a/src/main/jastadd/Backend.jadd
+++ b/src/main/jastadd/Backend.jadd
@@ -1212,6 +1212,7 @@ aspect Serializer {
sb.append(ind(3) + "com.fasterxml.jackson.core.JsonFactory factory = mapper.getFactory();\n");
sb.append(ind(3) + "com.fasterxml.jackson.core.JsonParser parser = factory.createParser(file);\n");
sb.append(ind(3) + getID() + " result = deserialize((com.fasterxml.jackson.databind.JsonNode)mapper.readTree(parser));\n");
+ sb.append(ind(3) + "parser.close();\n");
sb.append(ind(3) + "return result;\n");
sb.append(ind(2) + "} catch (java.io.IOException e) {\n");
sb.append(ind(3) + "throw new DeserializationException(\"unable to deserialize \" + file.getAbsolutePath(), e);\n");
--
GitLab