+ result=[]
+ if has_user:
+ result.append({'label':'Platforms', 'href': '/portal/platforms/'})
+ result.append({'label':'Dashboard', 'href': '/portal/dashboard/'})
+ # This should probably go in dashboard at some point
+ dropdown = []
+ dropdown.append({'label':'Request a slice', 'href': '/portal/slice_request/'})
+ dropdown.append({'label':'My Account', 'href': '/portal/account/'})
+ dropdown.append({'label':'Contact Support', 'href': '/portal/contact/'})
+ result.append({'label': 'More', 'href':"#", 'dropdown':True, 'contents':dropdown})
+ 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/'})
+ # mark active
+ for d in result:
+ if 'dropdown' in d:
+ for dd in d['contents']:
+ if dd['label'] == current: dd['is_active']=True
+ else:
+ if d['label'] == current: d['is_active']=True