Re: [OpenOCD-user] problem with openocd 0.12.0

[Tommy M. <tom...@ho...>]

Perhaps one of these settings needs tweaking for 0.12.0?

> "serverLaunchTimeout": 20000,
> "serverStarted": "Info\\ :\\ [\\w\\d\\.]*:\\ hardware",