Changeset 31817 in osm for applications/editors

Timestamp:

2015-12-12T16:48:29+01:00 (9 years ago)

Author:

floscher

Message:

[mapillary] Release version 1.1.2

Location:

applications/editors/josm

Files:

• dist/Mapillary.jar (modified) ( previous)
• plugins/mapillary/.settings/Build JOSM-Mapillary.launch (modified) (1 diff)
• plugins/mapillary/build.gradle (modified) (1 diff)
• plugins/mapillary/gradle.properties (modified) (1 diff)

applications/editors/josm/plugins/mapillary/.settings/Build JOSM-Mapillary.launch

@@ -9 +9 @@
     <listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
   </listAttribute>
-  <booleanAttribute key="show_console_view" value="true"/>
-  <booleanAttribute key="show_execution_view" value="false"/>
+  <booleanAttribute key="show_console_view" value="false"/>
+  <booleanAttribute key="show_execution_view" value="true"/>
   <listAttribute key="tasks">
     <listEntry value="build"/>
+    <listEntry value="javadoc"/>
   </listAttribute>
   <stringAttribute key="working_dir" value="${workspace_loc:/JOSM-Mapillary}"/>

applications/editors/josm/plugins/mapillary/build.gradle

@@ -105 +105 @@
 jar {
   manifest {
-    attributes("Plugin-Mainversion": project.property('plugin.main.version'),
-               "Plugin-Version": "31802",
-               "Plugin-Class": project.property('plugin.class'),
-               "Plugin-Description": project.property('plugin.description'),
-               "Plugin-Date": String.format("%1\$tY-%1\$tm-%1\$tdT%1\$tH:%1\$tM:%1\$tS%1\$tz", new GregorianCalendar()),
-               "Author": project.property('plugin.author'),
-               "Plugin-Link": project.property('plugin.link'),
-               "Plugin-Icon": project.property("plugin.icon"),
-               "Plugin-Requires": project.property("plugin.requires"),
-               "Plugin-Canloadatruntime": project.property('plugin.canloadatruntime'))
+    attributes(
+      "Gradle-Version": project.getGradle().getGradleVersion(),
+      "Created-By": System.getProperty("java.version")+" ("+System.getProperty("java.vendor")+")",
+      "Plugin-Mainversion": project.property('plugin.main.version'),
+      "Plugin-Version": "31817",
+      "Plugin-Class": project.property('plugin.class'),
+      "Plugin-Description": project.property('plugin.description'),
+      "Plugin-Date": String.format("%1\$tY-%1\$tm-%1\$tdT%1\$tH:%1\$tM:%1\$tS%1\$tz", new GregorianCalendar()),
+      "Author": project.property('plugin.author'),
+      "Plugin-Link": project.property('plugin.link'),
+      "Plugin-Icon": project.property("plugin.icon"),
+      "Plugin-Requires": project.property("plugin.requires"),
+      "Plugin-Canloadatruntime": project.property('plugin.canloadatruntime')
+    )
   }
 }

applications/editors/josm/plugins/mapillary/gradle.properties

@@ -7 +7 @@
 plugin.main.version=8433
 plugin.requires=apache-commons;apache-http
-plugin.version=1.1.1
+plugin.version=1.1.2
 #plugin.early=...
 #plugin.stage=...