From d0deea935de3fd7e390fc21aa899604d8327772f Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 23 Jan 2021 22:35:33 -0500
Subject: [PATCH] Convert to dollar-slashy string.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index afecbf6..7310271 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,7 @@ String actionURL = "https://code-repo.d4science.org/manuele.simi/gCubeActions/ra
 println "Querying ${actionURL}"
 
 //save the action code
-def action_code = actionURL.toURL().getText().replaceAll('"','\x22').replaceAll('\'','\x27')
+def action_code = actionURL.toURL().getText().replaceAll('"', $/\x22/$).replaceAll('\'', $/\x27/$)
 println "Action code: ${action_code}"
 
 //TODO: get the list of repos from Jenkins?