def make_user_link(obj, str_len=0):
    if type(obj) is pool.Pool:
        return '<a href="/user/pool/{}">{}</a>'.format(obj.id, shorten(obj.name, str_len))
    else:
        return obj.name