Changes between Initial Version and Version 1 of Ticket #17837, comment 7


Ignore:
Timestamp:
2019-10-13T14:21:53+02:00 (5 years ago)
Author:
Don-vip

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #17837, comment 7

    initial v1  
    44In the {{{preference.xml}}} I found
    55{{{
     6#!xml
    67  <maps key='validator.ignorelist'>
    78    <map>
    … …  
    1920I replaced the ignorelist in my actual {{{preference.xml}}} with the above part. As a result, I can't add new ignore groups for 1201 like:
    2021{{{
     22#!xml
    2123<tag key='1201_Key &apos;swisstopo:BEZIRKSNUM&apos; not in presets.' value='Presets do not contain property key'/>
    2224}}}
    2325I tried a little bit around and find out, that when I removed
    2426{{{
    25  <tag key='120' value='Ignore list'/>
     27#!xml
     28<tag key='120' value='Ignore list'/>
    2629}}}
    2730from the list, I could add 1201 again.