from markupsafe import Markup from flask_login import login_required, current_user from .knowl import Knowl, knowldb, knowl_title, knowl_exists from lmfdb.users import admin_required, knowl_reviewer_required from lmfdb.users.pwdmanager import userdb from lmfdb.utils import to_dict, code_snippet_knowl import markdown from lmfdb.knowledge import logger from lmfdb.utils import datetime_to_timestamp_in_ms,\ timestamp_in_ms_to_datetime, flash_error #ejust for those, who still use an older markdown try: markdown.util.etree except: logger.fatal("You need to update the markdown python utility:" + "sage -sh -> easy_install -U markdown flask-markdown") exit() _cache_time = 120 # know IDs are restricted by this regex allowed_knowl_id = re.compile("^[a-z0-9._-]+$") def allowed_id(ID): if ID.startswith('belyi') and\ (ID.endswith('top') or ID.endswith('bottom')): for c in "[],T": ID = ID.replace(c, '') if not allowed_knowl_id.match(ID): flash_error(
request, url_for from flask_login import login_required, current_user from knowl import Knowl, knowldb, knowl_title, knowl_exists from lmfdb.users import admin_required, knowl_reviewer_required from lmfdb.users.pwdmanager import userdb from lmfdb.utils import to_dict, code_snippet_knowl import markdown from lmfdb.knowledge import logger from lmfdb.utils import datetime_to_timestamp_in_ms,\ timestamp_in_ms_to_datetime #ejust for those, who still use an older markdown try: markdown.util.etree except: logger.fatal("You need to update the markdown python utility:" + "sage -sh -> easy_install -U markdown flask-markdown") exit() _cache_time = 120 # know IDs are restricted by this regex allowed_knowl_id = re.compile("^[a-z0-9._-]+$") def allowed_id(ID): if ID.startswith('belyi') and\ (ID.endswith('top') or ID.endswith('bottom')): for c in "[],T": ID = ID.replace(c,'') if not allowed_knowl_id.match(ID): flash("""Oops, knowl id '%s' is not allowed. It must consist of lowercase characters,