mirrors/pfsense
2
0
Fork 0
mirror of https://github.com/pfsense/pfsense.git synced 2025-10-26 11:38:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add restart_service_if_running.

Browse Source
This commit is contained in:
Colin Smith 2005-07-19 07:49:05 +00:00
parent 96b5d7c947
commit 0661a033fd
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
etc/inc/service-utils.inc
View File

@ -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) {