From 6012fa34cd47ed9cd57280dfc623746f035f44df Mon Sep 17 00:00:00 2001
From: Dasc3er <Dasc3er@users.noreply.github.com>
Date: Tue, 27 Oct 2020 18:49:12 +0100
Subject: [PATCH] Fix potenziale per generazione database.json da Windows

---
 gulpfile.js | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index ef9a47822..177d73255 100755
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -369,6 +369,18 @@ function phpDebugBar() {
         .pipe(gulp.dest(config.production + '/php-debugbar'));
 }
 
+function formatPHPExec(exec) {
+    let php_exec;
+    let is_windows = process.platform === "win32";
+    if (is_windows) {
+        php_exec = `php -r "` + exec.split("\n").join("") + `"`;
+    } else {
+        php_exec = `php -r '` + exec.split("'").join('"') + `'`;
+    }
+
+    return php_exec;
+}
+
 // Operazioni per la release
 function release(done) {
     // Impostazione dello zip
@@ -439,14 +451,16 @@ function release(done) {
         archive.file('checksum.json', {});
 
         // Aggiunta del file per il controllo di integrità del database
-        archive.append(shell.exec(`php -r '
+        let exec = `
         error_reporting(0);
         $skip_permissions = true;
-        include_once __DIR__."/core.php";
+        include_once __DIR__.DIRECTORY_SEPARATOR.'core.php';
         $info = Update::getDatabaseStructure();
         $response = json_encode($info);
-        echo $response;
-        '`, {
+        echo $response;`;
+        let php_exec = formatPHPExec(exec);
+
+        archive.append(shell.exec(php_exec, {
             silent: true
         }).stdout, {
             name: 'database.json'