diff options
author | Scott Ullrich <sullrich@pfsense.org> | 2006-09-30 01:32:42 +0000 |
---|---|---|
committer | Scott Ullrich <sullrich@pfsense.org> | 2006-09-30 01:32:42 +0000 |
commit | e814de4fe19d4a7bd3d943700be05a05922d4d3e (patch) | |
tree | a51537033efa1df5e3dac4112a45c1073b665125 /usr/local | |
parent | 574a2b4762ed214c2a6461e6ae56114dc1594903 (diff) | |
download | pfsense-e814de4fe19d4a7bd3d943700be05a05922d4d3e.zip pfsense-e814de4fe19d4a7bd3d943700be05a05922d4d3e.tar.gz |
Wait 5 seconds after stopping a service to give the kill process enough time to do its magic instead of marking the service as up when it really is not.
Diffstat (limited to 'usr/local')
-rwxr-xr-x | usr/local/www/status_services.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/local/www/status_services.php b/usr/local/www/status_services.php index 896e2ab..bc2d9f8 100755 --- a/usr/local/www/status_services.php +++ b/usr/local/www/status_services.php @@ -81,6 +81,7 @@ if($_GET['mode'] == "startservice" and $_GET['service']) { if($_GET['mode'] == "stopservice" and $_GET['service']) { stop_service($_GET['service']); $savemsg = "{$_GET['service']} has been stopped."; + sleep(5); } /* batch mode, allow other scripts to call this script */ |