diff options
| -rw-r--r-- | etc/inc/service-utils.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/etc/inc/service-utils.inc b/etc/inc/service-utils.inc index 6a04358..c7e631b 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) { |
