+ result.append({'label':'Platforms', 'href': '/portal/platforms/'})
+ result.append({ 'label':'Dashboard', 'href': '/portal/dashboard/'})
+ # This should probably go in dashboard at some point
+ result.append({ 'label':'Request a slice', 'href': '/portal/slice_request/'})
+ result.append({'label':'My Account', 'href': '/portal/account/'})
+ else:
+ result.append({'label':'Home', 'href': '/login'})
+ # looks like this is accessible to non-logged users
+ result.append({'label':'Platforms', 'href': '/portal/platforms/'})
+ result.append({ 'label':'Register', 'href': '/portal/register/'})
+ result.append({'label':'Contact Support', 'href': '/portal/contact/'})