From f622b34f586d9c5d091c975291e5c932af44949a Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Thu, 18 Feb 2010 18:25:29 -0500 Subject: [PATCH] allow service names to start with a number (synchronizing with the check in get_port_for_service from common). i know of no services named like that, but why be fussy? --- src/monkeysphere-host | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/monkeysphere-host b/src/monkeysphere-host index d89febb..12e7bad 100755 --- a/src/monkeysphere-host +++ b/src/monkeysphere-host @@ -147,7 +147,7 @@ Service names should use fully-qualified domain names (FQDN), but the domain name you chose appears to only have the local part. For example: don't use 'ssh://foo' ; use 'ssh://foo.example.com' instead." - [[ "$name" =~ ^[a-z]([a-z0-9-]*[a-z0-9])?://[a-z0-9]([a-z0-9-]*[a-z0-9])?(\.|((\.[a-z0-9]([a-z0-9-]*[a-z0-9])?)+))(:[1-9][0-9]{0,4})?$ ]] || \ + [[ "$name" =~ ^[a-z0-9]([a-z0-9-]*[a-z0-9])?://[a-z0-9]([a-z0-9-]*[a-z0-9])?(\.|((\.[a-z0-9]([a-z0-9-]*[a-z0-9])?)+))(:[1-9][0-9]{0,4})?$ ]] || \ failure "Not a valid service name: '$name' Service names look like ://full.example.com[:], -- 2.25.1