##// END OF EJS Templates
- Manage User’s Groups: create, delete, rename, add/remove users inside....
- Manage User’s Groups: create, delete, rename, add/remove users inside. by user group admin. In this case, a user's group can be owned by several people thru an owner user's group. Some refactoring of naming, permission handling logic. - remove some code duplicity as well as inconsistent naming

File last commit:

r3197:b4f40152 beta
r3714:7e3d89d9 beta
Show More
search_path.html
26 lines | 870 B | text/html | HtmlLexer
##path search
%for cnt,sr in enumerate(c.formated_results):
%if h.HasRepoPermissionAny('repository.write','repository.read','repository.admin')(sr['repository'],'search results check'):
<div class="search_path">
<div class="link">
${h.link_to(h.literal('%s &raquo; %s' % (sr['repository'],sr['f_path'])),
h.url('files_home',repo_name=sr['repository'],revision='tip',f_path=sr['f_path']))}
</div>
</div>
%else:
%if cnt == 0:
<div class="error">
<div class="link">
${_('Permission denied')}
</div>
</div>
%endif
%endif
%endfor
%if c.cur_query and c.formated_results:
<div class="pagination-wh pagination-left">
${c.formated_results.pager('$link_previous ~2~ $link_next')}
</div>
%endif