Changes between Initial Version and Version 1 of Ticket #3670


Ignore:
Timestamp:
02/19/2016 06:02:42 PM (4 years ago)
Author:
sebastian
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3670 – Description

    initial v1  
    99 
    1010=== What to change === 
    11 Set `trigger.url-filter-is-case-sensitive` to `true` for rules generated from filters that either specify the `$match_case` option, or can potentially only match the protocol + host part. These are filters with implied begin of string (starting with `|`), that don't match any further alphabetic characters after the first occurrence of `/` (begin of path), `?` (begin of query), `*` (wildcard) or `^` (boundary), if any. 
     11Set `trigger.url-filter-is-case-sensitive` to `true` for rules generated from filters that either specify the `$match_case` option, or can potentially only match the protocol + host part. These are filters with implied begin of host (starting with `||`) or filters that contain the protocol delimiter (`://`), but don't match any further alphabetic characters after the next occurrence of `/` (begin of path), `?` (begin of query), `*` (wildcard) or `^` (boundary), if any.