From 4569cae57f127afd093794310ccd290d2d9fdf36 Mon Sep 17 00:00:00 2001
From: Marius Burkard <m.burkard@pixcept.de>
Date: Wed, 20 Apr 2016 10:58:46 -0400
Subject: [PATCH] Merge branch 'stable-3.1'
---
server/conf/hhvm_monit.master | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/server/conf/hhvm_monit.master b/server/conf/hhvm_monit.master
index 91642c5..79697ea 100644
--- a/server/conf/hhvm_monit.master
+++ b/server/conf/hhvm_monit.master
@@ -1,3 +1,3 @@
-check process hhvm_{SYSTEM_USER} with pidfile /var/run/hhvm/hhvm_{SYSTEM_USER}.pid
- start program = "/etc/init.d/hhvm_{SYSTEM_USER} restart"
+check process hhvm_{SYSTEM_USER} with pidfile /var/run/hhvm/hhvm_{SYSTEM_USER}.pid
+ start program = "/etc/init.d/hhvm_{SYSTEM_USER} restart"
stop program = "/etc/init.d/hhvm_{SYSTEM_USER} stop"
\ No newline at end of file
--
Gitblit v1.9.1