diff options
author | Colin Smith <colin@pfsense.org> | 2005-07-19 07:49:05 +0000 |
---|---|---|
committer | Colin Smith <colin@pfsense.org> | 2005-07-19 07:49:05 +0000 |
commit | 0661a033fd83a44027ae6960a37cedbc8ffd8932 (patch) | |
tree | 4b89a23352d962ccd62da9c9a633be08ae0aa881 /etc/inc/service-utils.inc | |
parent | 96b5d7c947cee39fa0c5c8e0c08819ca7aa7a45d (diff) | |
download | pfsense-0661a033fd83a44027ae6960a37cedbc8ffd8932.zip pfsense-0661a033fd83a44027ae6960a37cedbc8ffd8932.tar.gz |
Add restart_service_if_running.
Diffstat (limited to 'etc/inc/service-utils.inc')
-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) { |