src/jdk.packager/share/classes/jdk/packager/internal/Log.java
branchJDK-8200758-branch
changeset 56987 0d2ff0d6bb94
parent 56982 e094d5483bd6
child 56989 0f19096663d1
--- a/src/jdk.packager/share/classes/jdk/packager/internal/Log.java	Thu Oct 18 17:57:26 2018 -0400
+++ b/src/jdk.packager/share/classes/jdk/packager/internal/Log.java	Thu Oct 18 18:02:17 2018 -0400
@@ -44,6 +44,10 @@
             verbose = v;
         }
 
+        public boolean isVerbose() {
+            return verbose;
+        }
+
         public void setPrintWriter(PrintWriter out, PrintWriter err) {
             this.out = out;
             this.err = err;
@@ -147,6 +151,20 @@
         }
     }
 
+    public static void setVerbose(boolean v) {
+        if (delegate != null) {
+            delegate.setVerbose(v);
+        }
+    }
+
+    public static boolean isVerbose() {
+        if (delegate != null) {
+            return delegate.isVerbose();
+        }
+
+        return false; // Off by default
+    }
+
     public static void verbose(String msg) {
         if (delegate != null) {
            delegate.verbose(msg);