server: warn if user changes server port after init
commit210ff6028480df93f483131d6c6ca1f7f372aa2a
authorSpencer Oliver <spen@spen-soft.co.uk>
Tue, 21 Aug 2012 10:10:18 +0000 (21 11:10 +0100)
committerFreddie Chopin <freddie.chopin@gmail.com>
Wed, 29 Aug 2012 06:42:52 +0000 (29 06:42 +0000)
treed9e212c9457f52053865fd1da1efc4bf59a9662c
parent9a8aa4ec63ff2d869d0ddf29b73afd5524bc77de
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>
src/server/server.c