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,
