Merge pull request #123 from bridadan/update_grm_help_text

Update grm help text to say port is optional

Author: theotherjimmy

packages/mbed-greentea/mbed_greentea/mbed_greentea_cli.py

@@ -176,7 +176,13 @@ def main():
 
     parser.add_option('-g', '--grm',
                     dest='global_resource_mgr',
-                    help='Global resource manager service query: platrform name, remote mgr module name, IP address and port, example K64F:module_name:10.2.123.43:3334')
+                    help=(
+                        'Global resource manager: "<platform name>:'
+                        '<remote mgr module>:<host url or IP address>[:<port>]", '
+                        'Ex. "K64F:module_name:10.2.123.43:3334", '
+                        '"K64F:module_name:https://example.com"'
+                    )
+    )
 
     # Show --fm option only if "fm_agent" module installed
     try:

src/mbed_os_tools/test/__init__.py

@@ -237,8 +237,9 @@ def init_host_test_cli_params():
         "--grm",
         dest="global_resource_mgr",
         help=(
-            "[Experimental] Global resource manager service module name, IP "
-            "and port, example remote_client:10.2.123.43:3334"
+            'Global resource manager: "<remote mgr module>:<host url or IP address>'
+            '[:<port>]", Ex. "module_name:10.2.123.43:3334", '
+            'module_name:https://example.com"'
         ),
     )