diff options
| author | Sandeep Mistry <s.mistry@arduino.cc> | 2015-12-23 12:10:32 -0500 |
|---|---|---|
| committer | Andreas Fritiofson <andreas.fritiofson@gmail.com> | 2016-10-17 09:11:10 +0100 |
| commit | ca6ccad439f64870543c7955190a28a311ec341f (patch) | |
| tree | 89298e9885cd2dedf26a939cc2bd8688a61bbb13 /doc | |
| parent | f109a93075b746e2fc94e5fa1fbdaddb61d6326b (diff) | |
| download | riscv-openocd-ca6ccad439f64870543c7955190a28a311ec341f.zip riscv-openocd-ca6ccad439f64870543c7955190a28a311ec341f.tar.gz riscv-openocd-ca6ccad439f64870543c7955190a28a311ec341f.tar.bz2 | |
gdb server: Add back support to disable the gdb server via the gdb_port config
As per the documentation, used "disabled" as the value to disable, as this
is the same value to disable the telnet and tcl server.
Change-Id: Idc4a8580098ec1107dcc6e1f59e817ecdebc38ac
Signed-off-by: Sandeep Mistry <s.mistry@arduino.cc>
Reviewed-on: http://openocd.zylin.com/3175
Tested-by: jenkins
Reviewed-by: Cristian Maglie
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/openocd.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 8146654..9558704 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -2109,7 +2109,7 @@ communicate via pipes(stdin/out or named pipes). The name the normal use cases. No arguments reports GDB port. "pipe" means listen to stdin -output to stdout, an integer is base port number, "disable" +output to stdout, an integer is base port number, "disabled" disables the gdb server. When using "pipe", also use log_output to redirect the log |