From 942ee87a0574b89cd4d81e5c735d96089c852e1c Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 10 Mar 2021 10:52:18 +0100
Subject: [PATCH] [Server] adds a final eol to json output

---
 src/plugins/server/server_batch.ml                             | 1 +
 src/plugins/server/tests/batch/oracle/ast_services.out.json    | 2 +-
 src/plugins/server/tests/batch/oracle/kernel_services.out.json | 2 +-
 src/plugins/server/tests/batch/oracle/wrong.out.json           | 2 +-
 4 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/plugins/server/server_batch.ml b/src/plugins/server/server_batch.ml
index 273d9a3c509..1213ea72bc1 100644
--- a/src/plugins/server/server_batch.ml
+++ b/src/plugins/server/server_batch.ml
@@ -117,6 +117,7 @@ let execute () =
         Senv.feedback "Output %S" output ;
         let out = open_out output in
         Js.pretty_to_channel out response ;
+        output_char out '\n';
         close_out out
       end files
   end
diff --git a/src/plugins/server/tests/batch/oracle/ast_services.out.json b/src/plugins/server/tests/batch/oracle/ast_services.out.json
index a6223032cf2..b9bbb5e7c62 100644
--- a/src/plugins/server/tests/batch/oracle/ast_services.out.json
+++ b/src/plugins/server/tests/batch/oracle/ast_services.out.json
@@ -100,4 +100,4 @@
       "data": "h"
     }
   }
-]
\ No newline at end of file
+]
diff --git a/src/plugins/server/tests/batch/oracle/kernel_services.out.json b/src/plugins/server/tests/batch/oracle/kernel_services.out.json
index 80065331f07..6c579531fd3 100644
--- a/src/plugins/server/tests/batch/oracle/kernel_services.out.json
+++ b/src/plugins/server/tests/batch/oracle/kernel_services.out.json
@@ -1 +1 @@
-[ { "id": "getLogs", "data": [] }, { "id": "setLogs", "data": null } ]
\ No newline at end of file
+[ { "id": "getLogs", "data": [] }, { "id": "setLogs", "data": null } ]
diff --git a/src/plugins/server/tests/batch/oracle/wrong.out.json b/src/plugins/server/tests/batch/oracle/wrong.out.json
index 4bf1761a32d..abb30454084 100644
--- a/src/plugins/server/tests/batch/oracle/wrong.out.json
+++ b/src/plugins/server/tests/batch/oracle/wrong.out.json
@@ -11,4 +11,4 @@
       "comment": "ident is expected, object is given"
     }
   }
-]
\ No newline at end of file
+]
-- 
GitLab