main.py 文件源码

def leaderboard():
    user = users.get_current_user()
    num_shared = []
    for u in Session.query(projection=['user_id'], distinct=True):
        num_shared.append((
            Session.query(Session.user_id == u.user_id, Session.shared == True).count(),
            u.user_id))
    num_shared.sort(reverse=True)
    return flask.render_template('leaderboard.html', user=user, year=datetime.now().year,
        logout_url=users.create_logout_url('/'), num_shared=num_shared)