diff options
Diffstat (limited to 'etc/inc/filter.inc')
| -rw-r--r-- | etc/inc/filter.inc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/inc/filter.inc b/etc/inc/filter.inc index 076a828..89a3d49 100644 --- a/etc/inc/filter.inc +++ b/etc/inc/filter.inc @@ -136,8 +136,7 @@ function filter_configure() { $mt = microtime(); echo "filter_configure() being called $mt\n"; } - global $g; - touch($g['tmp_path'] . "/filter_dirty"); + send_event("filter reload"); } function filter_delete_states_for_down_gateways() { |
