From 0661a033fd83a44027ae6960a37cedbc8ffd8932 Mon Sep 17 00:00:00 2001 From: Colin Smith Date: Tue, 19 Jul 2005 07:49:05 +0000 Subject: [PATCH] Add restart_service_if_running. --- etc/inc/service-utils.inc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/etc/inc/service-utils.inc b/etc/inc/service-utils.inc index 6a043584ff..c7e631b704 100644 --- a/etc/inc/service-utils.inc +++ b/etc/inc/service-utils.inc @@ -128,6 +128,13 @@ function is_process_running($process) { return 0; } +function restart_service_if_running($service) { + global $config; + if(is_service_running($service)) + restart_service($service); + return; +} + function is_service_running($service, $ps = "") { global $config; if(!$ps) {