From a6df38f65de2d91afd5da128b9f9c45ef16e1845 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Stan=C4=9Bk?= Date: Wed, 16 Oct 2024 10:23:23 +0200 Subject: [PATCH] fixes --- build.xml | 36 ++++++++++++++++++++---------------- 1 file changed, 20 insertions(+), 16 deletions(-) diff --git a/build.xml b/build.xml index 019dee942..6abfe9428 100644 --- a/build.xml +++ b/build.xml @@ -1,6 +1,7 @@ + @@ -20,8 +21,7 @@ - - + @@ -111,7 +111,7 @@ + pubkeyfile="id_rsa.pub" command="${command}" property="${property}"/> @@ -123,10 +123,15 @@ - - - + + + + + + + + + @@ -140,18 +145,19 @@ - - - - - + + + + + + @@ -168,8 +174,6 @@ - - @@ -257,8 +261,8 @@ + value="php83-cli "${deploy.release}/www/console.php ${command}"" + else="php8.3 ${deploy.release}/www/console.php ${command}">