[Openocd-development] [patch] remove port 'using default' messages; doc updates

2009-05-24 Thread David Brownell
Make startup for the various server ports be quiet, unless debugging is active: don't emit needless scarey messages. Update the relevant documentation and its references: - For these port commands ... cover the default values; convert to @deffn syntax; include their use outside of the

Re: [Openocd-development] [patch] remove port 'using default' messages; doc updates

2009-05-24 Thread Zach Welch
On Sun, 2009-05-24 at 13:46 -0700, David Brownell wrote: Make startup for the various server ports be quiet, unless debugging is active: don't emit needless scarey messages. Update the relevant documentation and its references: - For these port commands ... cover the default values;