changeset 3082:9211c0d8b50c

plugin manhole: fixed default value
author Goffi <goffi@goffi.org>
date Fri, 06 Dec 2019 15:19:31 +0100
parents fd593b448bee
children 3c924cb207d9
files sat/plugins/plugin_dbg_manhole.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/sat/plugins/plugin_dbg_manhole.py	Fri Dec 06 15:02:02 2019 +0100
+++ b/sat/plugins/plugin_dbg_manhole.py	Fri Dec 06 15:19:31 2019 +0100
@@ -45,7 +45,7 @@
 
     def __init__(self, host):
         self.host = host
-        port = int(host.memory.getConfig(None, "manhole_debug_dangerous_port_int"))
+        port = int(host.memory.getConfig(None, "manhole_debug_dangerous_port_int", 0))
         if port:
             self.startManhole(port)