Changeset 9662 in josm for trunk/scripts


Ignore:
Timestamp:
2016-01-28T18:26:03+01:00 (4 years ago)
Author:
stoecker
Message:

see #12313 - unify options for text and XHTML output

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/scripts/sync_editor_imagery_index.groovy

    r9658 r9662  
    100100
    101101    void loadSkip() {
    102         if (options.noskip)
    103             return;
    104102        /* TMS proxies for our wms */
    105103        skipEntries["-  Czech CUZK:KM tiles proxy - http://osm-{switch:a,b,c}.zby.cz/tiles_cuzk.php/{zoom}/{x}/{y}.png"] = 1
     
    177175            if(options.xhtmlbody || options.xhtml) {
    178176                s = "<pre style=\"margin:3px;color:green\">"+s.replaceAll("&","&amp;").replaceAll("<","&lt;").replaceAll(">","&gt;")+"</pre>"
    179             } else {
    180                 return
     177            }
     178            if (!options.noskip) {
     179                return;
    181180            }
    182181        } else if(options.xhtmlbody || options.xhtml) {
Note: See TracChangeset for help on using the changeset viewer.