diff options
| author | Spencer Oliver <spen@spen-soft.co.uk> | 2012-08-21 11:10:18 +0100 |
|---|---|---|
| committer | Freddie Chopin <freddie.chopin@gmail.com> | 2012-08-29 06:42:52 +0000 |
| commit | 210ff6028480df93f483131d6c6ca1f7f372aa2a (patch) | |
| tree | d9e212c9457f52053865fd1da1efc4bf59a9662c /config_subdir.m4 | |
| parent | 9a8aa4ec63ff2d869d0ddf29b73afd5524bc77de (diff) | |
server: warn if user changes server port after init
So the user can view the current port number these cmds were changed to COMMAND_ANY.
However this means that the user can also attempt to change the port number after init,
even though this is not supported. Issue a warning that this is not supported.
Change-Id: I3d20dcd81277e7d994240a8e314f27672ff760c4
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/788
Tested-by: jenkins
Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com>
Diffstat (limited to 'config_subdir.m4')
0 files changed, 0 insertions, 0 deletions