summaryrefslogtreecommitdiff
path: root/src/server
diff options
context:
space:
mode:
Diffstat (limited to 'src/server')
-rw-r--r--src/server/gdb_server.c12
-rw-r--r--src/server/tcl_server.c2
-rw-r--r--src/server/telnet_server.c2
3 files changed, 7 insertions, 9 deletions
diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c
index 4537c2d2..f4e9c326 100644
--- a/src/server/gdb_server.c
+++ b/src/server/gdb_server.c
@@ -2188,7 +2188,7 @@ int gdb_init(void)
if (gdb_port == 0 && server_use_pipes == 0)
{
- LOG_WARNING("no gdb port specified, using default port 3333");
+ LOG_DEBUG("no gdb port specified, using default port 3333");
gdb_port = 3333;
}
@@ -2369,17 +2369,15 @@ int gdb_register_commands(command_context_t *command_context)
register_command(command_context, NULL, "gdb_port", handle_gdb_port_command,
COMMAND_ANY, "daemon configuration command gdb_port");
register_command(command_context, NULL, "gdb_detach", handle_gdb_detach_command,
- COMMAND_CONFIG, "");
+ COMMAND_CONFIG, "resume/reset/halt/nothing - "
+ "specify behavior when GDB detaches from the target");
register_command(command_context, NULL, "gdb_memory_map", handle_gdb_memory_map_command,
COMMAND_CONFIG, "enable or disable memory map");
register_command(command_context, NULL, "gdb_flash_program", handle_gdb_flash_program_command,
COMMAND_CONFIG, "enable or disable flash program");
register_command(command_context, NULL, "gdb_report_data_abort", handle_gdb_report_data_abort_command,
- COMMAND_CONFIG, "enable or disable report data");
+ COMMAND_CONFIG, "enable or disable reporting data aborts");
register_command(command_context, NULL, "gdb_breakpoint_override", handle_gdb_breakpoint_override_command,
- COMMAND_EXEC, "hard/soft/disable - force breakpoint type for gdb 'break' commands."
- "The raison d'etre for this option is to support GDB GUI's without "
- "a hard/soft breakpoint concept where the default OpenOCD behaviour "
- "is not sufficient");
+ COMMAND_EXEC, "hard/soft/disable - force breakpoint type for gdb 'break' commands.");
return ERROR_OK;
}
diff --git a/src/server/tcl_server.c b/src/server/tcl_server.c
index b5ca3c96..e146b04f 100644
--- a/src/server/tcl_server.c
+++ b/src/server/tcl_server.c
@@ -165,7 +165,7 @@ int tcl_init(void)
if (tcl_port == 0)
{
- LOG_WARNING("no tcl port specified, using default port 6666");
+ LOG_DEBUG("no tcl port specified, using default port 6666");
tcl_port = 6666;
}
diff --git a/src/server/telnet_server.c b/src/server/telnet_server.c
index 16662bbd..94a26624 100644
--- a/src/server/telnet_server.c
+++ b/src/server/telnet_server.c
@@ -596,7 +596,7 @@ int telnet_init(char *banner)
if (telnet_port == 0)
{
- LOG_WARNING("no telnet port specified, using default port 4444");
+ LOG_DEBUG("no telnet port specified, using default port 4444");
telnet_port = 4444;
}