Skip to content

Commit 7ddb278

Browse files
committed
Allow protocols in grm url argument
1 parent 58eda9d commit 7ddb278

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/mbed_os_tools/test/mbed_test_api.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -570,7 +570,8 @@ def parse_global_resource_mgr(global_resource_mgr):
570570
@return tuple wity four elements from GRM or None if error
571571
"""
572572
try:
573-
platform_name, module_name, ip_name, port_name = global_resource_mgr.split(':')
573+
platform_name, module_name, leftover = global_resource_mgr.split(':', 2)
574+
ip_name, port_name = leftover.rsplit(':', 1)
574575
except ValueError as e:
575576
return False
576577
return platform_name, module_name, ip_name, port_name

0 commit comments

Comments
 (0)