From 48e2c3fd47aaeb72a5176e6480353f96d499a127 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 15 Jun 2023 17:12:50 +0200
Subject: [PATCH] fix json syntax

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 025b372..1448eda 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -370,7 +370,7 @@ def deployRelease(def categoryList, def yaml){
 //						portlets += component_list?.collect{ return [ 'name': "$it.name", 'version': "$it.version", 'extension': 'war' ]	}
 						portlets += component_list?.collect{ return " {\"name\": \"$it.name\", \"version\": \"$it.version\", \"extension\": \"war\"} "}
 						echo "portlets: $portlets"
-						def jsonContent= "{\"generic_portlets\":"+portlets+"}"
+						def jsonContent= "{\"generic_portlets\": "+portlets+"}"
 						echo "json: $jsonContent"
 						writeJSON file: 'portlets.json', json: jsonContent
 //						def read = readJSON file: 'portlets.json'