Allow "tcl_port" to be run after config to simply display the port.
[fw/openocd] / src / server /
drwxr-xr-x   ..
-rw-r--r-- 550 Makefile.am
-rw-r--r-- 87675 gdb_server.c
-rw-r--r-- 2763 gdb_server.h
-rw-r--r-- 16501 server.c
-rw-r--r-- 4176 server.h
-rw-r--r-- 1558 server_stubs.c
-rw-r--r-- 331 startup.tcl
-rw-r--r-- 5752 tcl_server.c
-rw-r--r-- 1572 tcl_server.h
-rw-r--r-- 20303 telnet_server.c
-rw-r--r-- 2839 telnet_server.h