diff --git a/src/plugins/server/server_batch.ml b/src/plugins/server/server_batch.ml index 273d9a3c5094aed4371eb641846dc821a18ce182..1213ea72bc165de868fda88e3b9ce0e4d1bd5ca7 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 a6223032cf20850343a7d0270679a14b24daee0b..b9bbb5e7c626ca31ccbd1c122cc1385072b40f89 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 80065331f0735613e4a74e0a75df36f60d10ac4f..6c579531fd3b340bd12a9b5f5b2e1f0277f009a5 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 4bf1761a32d70d5658b681897a5b5278f43511f8..abb3045408487c5f4445ce8641fd21105b445c19 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 +]