System Workbench for STM32

OpenOCD Plugin disables Telnet and Tcl Servers

I want to display ITM packets over openocd. To do that Tcl Server should be enabled. However, Ac6 calls openocd with the following arguments:

-c gdb_port 3333 -c tcl_port disabled -c telnet_port disabled

Causing those servers to be disabled.. Is there a way to tell the plugin not to do that?

As a workaround I generated a batch file to modify the arguments like this:

@echo off
echo %1 %2 %3 %4 %5 %6 %7 %8
C:\Ac6\SystemWorkbench\plugins\fr.ac6.mcu.externaltools.openocd.win32_1.16.1.201710251246\tools\openocd\bin\openocd.exe %1 %2 %3 %4 %5 %6 %7 %8

However, it would be nicer if there were checkboxes to control the servers, or at least would not interfere. In default configuration “-c tcl_port disabled -c telnet_port disabled” can be added to OpenOCD Command box..