chiark / gitweb /
Set ssh logging level appropriately
authorCiaran Gultnieks <ciaran@ciarang.com>
Tue, 25 Feb 2014 12:46:32 +0000 (12:46 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 25 Feb 2014 12:46:32 +0000 (12:46 +0000)
fdroidserver/build.py

index 1ca5dc219b2ba7eba0d722490683895214a4eefb..bec1278ff28c9a8f443b459223f04ac3b31f85eb 100644 (file)
@@ -82,6 +82,10 @@ def build_server(app, thisbuild, vcs, build_dir, output_dir, force):
     """Do a build on the build server."""
 
     import ssh
+    if options.debug:
+        logging.getLogger("ssh").setLevel(logging.DEBUG)
+    else:
+        logging.getLogger("ssh").setLevel(logging.WARN)
 
     # Reset existing builder machine to a clean state if possible.
     vm_ok = False