wait #3295 @3

diff --git a/inc/ws/Controlleur/class.ws.flash.php b/inc/ws/Controlleur/class.ws.flash.php
index d56f06741e11875dbcf74791381a53fbd3786d63..91be6f2c4072cdfacf089ac59c959a9dd52bea52 100644 (file)
--- a/inc/ws/Controlleur/class.ws.flash.php
+++ b/inc/ws/Controlleur/class.ws.flash.php
@@ -145,7 +145,7 @@ class wsFlash extends cubeFlashGateway
         }
         $session->serialize();
 
-        $executable = 'php';
+        $executable = '/usr/bin/php7.2';
         if (AMARCORD) {
             $executable = '/usr/bin/php5.6';
         }