def get_servlet_urlspec(servlet):
    try:
        return (servlet.regexp, servlet)
    except __HOLE__:
        name = servlet.__name__
        regexp = r"/%s" % name[:-len("Servlet")].lower()
        return (regexp, servlet)
dataset/ETHPy150Open YelpArchive/pushmanager/pushmanager/core/util.py/get_servlet_urlspec