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