[JENKINS-28703] Add pinned status for plugins.

jenkinsci · Jun 2, 2015 · 766dce9 · 766dce9
1 parent 5edc573
commit 766dce9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/com/cloudbees/jenkins/support/impl/AboutJenkins.java b/src/main/java/com/cloudbees/jenkins/support/impl/AboutJenkins.java
@@ -655,7 +655,7 @@ protected void printTo(PrintWriter out) throws IOException {
             Collections.sort(plugins);
             for (PluginWrapper w : plugins) {
                 if (w.isActive()) {
-                    out.println(w.getShortName() + ":" + w.getVersion());
+                    out.println(w.getShortName() + ":" + w.getVersion() + (w.isPinned() ? "pinned" : "not-pinned"));
                 }
             }
         }
@@ -673,7 +673,7 @@ protected void printTo(PrintWriter out) throws IOException {
             Collections.sort(plugins);
             for (PluginWrapper w : plugins) {
                 if (!w.isActive()) {
-                    out.println(w.getShortName() + ":" + w.getVersion());
+                    out.println(w.getShortName() + ":" + w.getVersion() + (w.isPinned() ? "pinned" : "not-pinned"));
                 }
             }
         }