Robert P. J. Day 436f66b463 Allow "tcl_port" to be run after config to simply display the port. ...

To be consistent with gdb_port and telnet_port, allow tcl_port
to be run to display the configured port number, while still
not allowing the user to change it after configuration.

Change-Id: Ibe6aedb3bd447f2985e42dd8246358481a047dd6
Signed-off-by: Robert P. J. Day <rpjday@crashcourse.ca>
Reviewed-on: http://openocd.zylin.com/1857
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>

2014-01-08 22:17:59 +00:00

..

gdb_server.c

fix flash bank auto_probe() fail with multiple targets

2013-12-17 23:04:01 +00:00

gdb_server.h

update files to correct FSF address

2013-06-05 19:52:42 +00:00

Makefile.am

ecosboard: delete bit-rotted eCos code

2012-03-13 19:11:11 +00:00

server_stubs.c

update files to correct FSF address

2013-06-05 19:52:42 +00:00

server.c

Clean up const usage to avoid excessive casting

2013-10-31 20:42:34 +00:00

server.h

Clean up const usage to avoid excessive casting

2013-10-31 20:42:34 +00:00

startup.tcl

Fix a bunch of typos.

2011-03-17 07:25:25 +01:00

tcl_server.c

Allow "tcl_port" to be run after config to simply display the port.

2014-01-08 22:17:59 +00:00

tcl_server.h

update files to correct FSF address

2013-06-05 19:52:42 +00:00

telnet_server.c

Clean up const usage to avoid excessive casting

2013-10-31 20:42:34 +00:00

telnet_server.h

update files to correct FSF address

2013-06-05 19:52:42 +00:00