Change Mojo URLs to structured names

mojo/public/tools/manifest/manifest_collator.py

Index: mojo/public/tools/manifest/manifest_collator.py
diff --git a/mojo/public/tools/manifest/manifest_collator.py b/mojo/public/tools/manifest/manifest_collator.py
index 7acc76be7461bced25b7387f83182e401e28354f..a7dcc623add69eec89891eadca8c054c75ff748f 100755
--- a/mojo/public/tools/manifest/manifest_collator.py
+++ b/mojo/public/tools/manifest/manifest_collator.py
@@ -31,11 +31,11 @@ def main():
   if parent == None:
     return 1
 
-  parsed = urlparse.urlparse(parent['url'])
-  if args.application_name != parsed.hostname:
+  app_path = parent['name'].split(':')[1]

[sky, 2016/02/26 18:37:27]

Error checking if split(':') returns a list of one element? Also, what about
error checking that app_path doesn't start with '//'?

+  if args.application_name != app_path:
     raise ValueError("Application name '%s' specified in build file does not " \
                      "match application name '%s' specified in manifest." %
-                     (args.application_name, parsed.hostname))
+                     (args.application_name, app_path))
 
   applications = []
   for child in children: