diff options
author | Colin Smith <colin@pfsense.org> | 2005-06-22 03:46:11 +0000 |
---|---|---|
committer | Colin Smith <colin@pfsense.org> | 2005-06-22 03:46:11 +0000 |
commit | ec4e071aa47004cd9811923c8270ff11416c7d54 (patch) | |
tree | a08b7025f350bf749623e46578621fd6e561ea8d /etc | |
parent | dc312bf5e9394ffc9217631865cbfa56d7396521 (diff) | |
download | pfsense-ec4e071aa47004cd9811923c8270ff11416c7d54.zip pfsense-ec4e071aa47004cd9811923c8270ff11416c7d54.tar.gz |
Add is_service_running.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/inc/service-utils.inc | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/etc/inc/service-utils.inc b/etc/inc/service-utils.inc index e0cb8a7..4f636aa 100644 --- a/etc/inc/service-utils.inc +++ b/etc/inc/service-utils.inc @@ -118,3 +118,27 @@ function restart_service($service) { } } } + +function is_service_running($service, $ps = "") { + global $config; + if(!$ps) { + exec("/bin/ps a | awk '{ print $5 }'", $psout); + array_shift($psout); + foreach($psout as $line) { + $ps[] = array_pop(explode('/', $line)); + } + } + if($config['installedpackages']['service']) { + foreach($config['installedpackages']['service'] as $service) { + if($service['name'] == $service) { + if(in_array($service['executable'], $ps)) { + return true; + } else { + return false; + } + break; + } + } + } + return false; +} |