log: let command "log_output" to set back its default
authorAntonio Borneo <borneo.antonio@gmail.com>
Fri, 14 Jun 2019 08:00:06 +0000 (10:00 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Mon, 24 Feb 2020 10:30:10 +0000 (10:30 +0000)
commit86d8c05eb68866297cbc1ec5f90d3d1634c69a1e
tree1c59fe0f5c6e5e1626bcaa7cdcb359dee37bd873
parentbeb610555ad826dda874eee0428deeb1c00ac39d
log: let command "log_output" to set back its default

The default log output is stderr. After the command "log_output"
has been used to set an output log file, it is possible to return
back to stderr only on *NIX hosts specifying a new log output file
as "/dev/stderr", but this is not intuitive, not documented and
not portable out of *NIX.

Make command "log_output" able to set back the default output to
stderr when the parameter is either "default" or is missing.
While there, add debug message to log the change and make the
command return error on incorrect syntax.

Change-Id: I8c7c929780f58e2c23936737c8e7274a96734786
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5233
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
doc/openocd.texi
src/helper/log.c