baremetal: add openocd pipelining support

Change-Id: Idcfdd42f741319f81cc378687451693facdb955f
Reviewed-by: hjk <hjk121@nokiamail.com>
This commit is contained in:
Tim Sander
2014-06-05 11:24:30 +02:00
committed by hjk
parent 3012a9b4ee
commit ea11a233fe
3 changed files with 8 additions and 4 deletions

View File

@@ -251,7 +251,8 @@ void GdbRemoteServerEngine::callTargetRemote()
// Don't touch channels with explicitly set protocols.
if (!channel.startsWith("tcp:") && !channel.startsWith("udp:")
&& !channel.startsWith("file:") && channel.contains(':'))
&& !channel.startsWith("file:") && channel.contains(':')
&& !channel.startsWith('|'))
{
// "Fix" the IPv6 case with host names without '['...']'
if (!channel.startsWith('[') && channel.count(':') >= 2) {