From e450a7ff804c812404d99c7a955eb1e34f426218 Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 14 Dec 2018 13:12:43 +0100
Subject: [PATCH] httpd is not started through systemd

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

diff --git a/Makefile b/Makefile
index a0a8e12..ef55346 100644
--- a/Makefile
+++ b/Makefile
@@ -88,7 +88,7 @@ else
 	+$(RSYNC) db-config.d/ $(SSHURL)/etc/planetlab/db-config.d/
 	+$(RSYNC) plc.d/ $(SSHURL)/etc/plc.d/
 	+$(RSYNC) apache/plc.wsgi $(SSHURL)/usr/share/plc_api/apache/
-	$(SSHCOMMAND) systemctl restart httpd
+	$(SSHCOMMAND) "/etc/plc.d/httpd stop; /etc/plc.d/httpd start"
 endif
 
 #################### convenience, for debugging only
-- 
2.43.0