Changeset 9667 in josm for trunk/scripts

Timestamp:

2016-01-29T10:01:54+01:00 (9 years ago)

Author:

stoecker

Message:

small style fix

Location:

trunk/scripts

Files:

• BuildProjectionDefinitions.java (modified) (1 diff)
• sync_editor_imagery_index.groovy (modified) (9 diffs)

trunk/scripts/BuildProjectionDefinitions.java

@@ -155 +155 @@
             noDatumgrid++;
         }
-        
+
         // exclude entries where we don't support the base projection
         Proj bp = Projections.getBaseProjection(proj);

trunk/scripts/sync_editor_imagery_index.groovy

@@ -14 +14 @@
  *
  * $ groovy -cp ../dist/josm-custom.jar sync_editor-imagery-index.groovy
- * 
+ *
  * Add option "-h" to show the available command line flags.
  */
@@ -36 +36 @@
     def eiiUrls = new HashMap<String, JsonObject>()
     def josmUrls = new HashMap<String, ImageryInfo>()
-    
+
     static String eiiInputFile = 'imagery.json'
     static String josmInputFile = 'maps.xml'
@@ -226 +226 @@
         def reader = new ImageryReader(josmInputFile)
         josmEntries = reader.parse()
-        
+
         for (def e : josmEntries) {
             def url = getUrl(e)
@@ -260 +260 @@
         l.sort()
     }
-    
+
     void checkInOneButNotTheOther() {
         def l1 = inOneButNotTheOther(eiiUrls, josmUrls)
@@ -278 +278 @@
         }
     }
-    
+
     void checkCommonEntries() {
         myprintln "*** Same URL, but different name: ***"
@@ -291 +291 @@
             }
         }
-        
+
         myprintln "*** Same URL, but different type: ***"
         for (def url : eiiUrls.keySet()) {
@@ -303 +303 @@
             }
         }
-        
+
         myprintln "*** Same URL, but different zoom bounds: ***"
         for (def url : eiiUrls.keySet()) {
@@ -325 +325 @@
             }
         }
-        
+
         myprintln "*** Same URL, but different country code: ***"
         for (def url : eiiUrls.keySet()) {
@@ -355 +355 @@
         }
     }
-    
+
     /**
      * Utility functions that allow uniform access for both ImageryInfo and JsonObject.