diff options
| -rw-r--r-- | src/etc/inc/filter.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/etc/inc/filter.inc b/src/etc/inc/filter.inc index b9c3d25..5e0e057 100644 --- a/src/etc/inc/filter.inc +++ b/src/etc/inc/filter.inc @@ -3562,7 +3562,8 @@ EOD; continue; } - if (isset($rule['separator']) { + // Webgui separator bar. Not a real rule + if (isset($rule['separator'])) { continue; } |
