diff options
-rw-r--r-- | etc/inc/filter.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/inc/filter.inc b/etc/inc/filter.inc index ff2665c..74c6fca 100644 --- a/etc/inc/filter.inc +++ b/etc/inc/filter.inc @@ -65,6 +65,9 @@ function filter_configure() { echo "filter_configure() being called $mt\n"; } global $g; + /* Make sure that the checker process is running */ + if(!is_process_running("check_reload_status")) + mwexec_bg("/usr/bin/nice -n20 /usr/local/sbin/check_reload_status 2>/dev/null"); touch($g['tmp_path'] . "/filter_dirty"); } @@ -2854,4 +2857,4 @@ function return_vpn_subnet($adr) { } -?>
\ No newline at end of file +?> |