From 12be87c1180e50d16c06ddcac21ac2cc5e6adbfa Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 15 Jun 2023 15:04:07 +0200
Subject: [PATCH] fix json file generation

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9d91750..f65267d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -365,9 +365,9 @@ def deployRelease(def categoryList, def yaml){
 						def sg= component_list?.collect{ if ("$it.name" == 'smartgears-distribution'){ return "$it.version"; }}
 						smartgears=(sg !=null ) ? sg[0] : ''
 					}else if (category =="${PORTLET_CATEGORY}"){
-						portlets="{ \"generic_portlets\": ";
+						portlets="\"generic_portlets\": ";
 						portlets += component_list?.collect{ return [ 'name': "$it.name", 'version': "$it.version", 'extension': 'war' ]	}
-						portlets += "}"
+				//		portlets += "}"
 						writeJSON file: 'portlets.json', json: portlets
 //						def read = readJSON file: 'portlets.json'
 //						println("Portlets found: "+read.name+" "+read.version+ " "+read.extension)