diff sat/plugins/plugin_dbg_manhole.py @ 3082:9211c0d8b50c

plugin manhole: fixed default value
author Goffi <goffi@goffi.org>
date Fri, 06 Dec 2019 15:19:31 +0100
parents ab2696e34d29
children 2b0f739f8a46
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)