From 7d1ff043bbd917e33065a2de8a4f59df4f79c0f9 Mon Sep 17 00:00:00 2001 From: Tim Newsome Date: Thu, 12 Oct 2017 11:53:22 -0700 Subject: [PATCH] Pay attention to server_timeout_sec Fixes #83. --- debug/targets.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/debug/targets.py b/debug/targets.py index 624eb71..06688d8 100644 --- a/debug/targets.py +++ b/debug/targets.py @@ -60,7 +60,7 @@ class Target(object): # Timeout waiting for the server to start up. This is different than the # GDB timeout, which is how long GDB waits for commands to execute. - # The server_timeout is how long this script waits for the Server to be + # The server_timeout is how long this script waits for the server to be # ready for GDB connections. server_timeout_sec = 60 @@ -113,7 +113,8 @@ class Target(object): def server(self): """Start the debug server that gdb connects to, eg. OpenOCD.""" return testlib.Openocd(server_cmd=self.server_cmd, - config=self.openocd_config_path) + config=self.openocd_config_path, + timeout=self.server_timeout_sec) def compile(self, hart, *sources): binary_name = "%s_%s-%d" % ( -- 2.30.2