# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1575641971 -3600
# Node ID 9211c0d8b50c3201b6916b0fffcd2459ffea31b7
# Parent  fd593b448bee1b4070b3ccf459e0bc8e93d00d22
plugin manhole: fixed default value

diff -r fd593b448bee -r 9211c0d8b50c sat/plugins/plugin_dbg_manhole.py
--- 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)