var classsuper_tornado_1_1_base_handler =
[
    [ "get_current_user", "classsuper_tornado_1_1_base_handler.html#aecb8cb2cc891c1012986d266958b981d", null ]
];