+ has_user=request.user.is_authenticated()
+ if has_user:
+ result=deepcopy(standard_topmenu_items)
+ result.append({'label':'My Account', 'href': '/portal/account/'})
+ result.append({ 'label':'Request a slice', 'href': '/portal/slice_request/'})
+ result.append({'label':'Contact Support', 'href': '/portal/contact/'})
+ else:
+ result = []
+ result.append({'label':'Home', 'href': '/login'})
+ result.append({ 'label':'Register', 'href': '/portal/register/'})
+ result.append({'label':'Contact Support', 'href': '/portal/contact/'})
+ result.append({'label':'Platforms', 'href': '/portal/platforms/'})