diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/gdb_server.c | 12 | ||||
| -rw-r--r-- | src/server/tcl_server.c | 2 | ||||
| -rw-r--r-- | src/server/telnet_server.c | 2 |
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; } |