Disabled gdb-dashboard and try connecting on openocd on any interface

.gdbinit

@@ -17,7 +17,7 @@ end
 
 
 
-target extended localhost:3333
+target extended 0.0.0.0:3333
 monitor reset init
 set remote hardware-breakpoint-limit 6
 set remote hardware-watchpoint-limit 4

klee_stm_gdb.py

@@ -294,8 +294,8 @@ MainBP("main")
 
 
 """ Tell gdb-dashboard to hide """
-gdb.execute("dashboard -enabled off")
-gdb.execute("dashboard -output /dev/null")
+# gdb.execute("dashboard -enabled off")
+# gdb.execute("dashboard -output /dev/null")
 
 """ Also break at the main-loop """
 MainBP("finish_execution")