From 8667a574d4d74725eb395d557b10c5a1f93482a6 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Sun, 12 Apr 2020 01:04:55 +0100
Subject: [PATCH] Use local PHP version (ZPush)

---
 setup/zpush.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/zpush.sh b/setup/zpush.sh
index a1253d2d..136ccb1e 100755
--- a/setup/zpush.sh
+++ b/setup/zpush.sh
@@ -102,7 +102,7 @@ EOF
 
 # Restart service.
 
-restart_service php7.2-fpm
+restart_service php$PHP_VERSION-fpm
 
 # Fix states after upgrade