From 9501b263e0ae127b012f5c5e3ba5dffcc7daa8d1 Mon Sep 17 00:00:00 2001 From: Karl Palsson Date: Tue, 29 Nov 2022 13:12:14 +0000 Subject: [PATCH] doc: describe tcl port consistently. One place described the tcl port as 5555, which was changed in 163bd86071a Reported on IRC. Change-Id: If740a29443793d6a4d4f8c9db54f0fc8344a6c1c Signed-off-by: Karl Palsson Reviewed-on: https://review.openocd.org/c/openocd/+/7385 Tested-by: jenkins Reviewed-by: Antonio Borneo --- doc/openocd.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/openocd.texi b/doc/openocd.texi index e9f93614c9..d8a5e86b42 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -8523,7 +8523,7 @@ command. All output is relayed through the GDB session. @item @b{Machine Interface} The Tcl interface's intent is to be a machine interface. The default Tcl -port is 5555. +port is 6666. @end itemize -- 2.30.2