# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1519838909 -3600
# Node ID b4bf282d6354ea307a78f0e071a01a294fc0191e
# Parent  e2a7bb875957717f31535f45352bb36dae63c97d
jp (base): added verbosity property to CommandBase

diff -r e2a7bb875957 -r b4bf282d6354 frontends/src/jp/base.py
--- a/frontends/src/jp/base.py	Thu Feb 08 00:37:42 2018 +0100
+++ b/frontends/src/jp/base.py	Wed Feb 28 18:28:29 2018 +0100
@@ -662,6 +662,10 @@
         return self.host.profile
 
     @property
+    def verbosity(self):
+        return self.host.verbosity
+
+    @property
     def progress_id(self):
         return self.host.progress_id