|
|
|
@ -44,28 +44,32 @@ def notes(): |
|
|
|
|
|
|
|
@APP.route('/update/', methods=['GET', 'POST']) |
|
|
|
def update(): |
|
|
|
publication_unfolded = update_material_now(PAGENAME, WIKI) # download the latest version of the page |
|
|
|
save(publication_unfolded, 'Unfolded') # save the html to file (without <head>) to file |
|
|
|
# publication_unfolded = update_material_now(PAGENAME, WIKI) # download the latest version of the page |
|
|
|
# save(publication_unfolded, 'Unfolded') # save the html to file (without <head>) to file |
|
|
|
|
|
|
|
return flask.render_template('index.html', title=PROJECT_NAME) |
|
|
|
# return flask.render_template('index.html', title=PROJECT_NAME) |
|
|
|
return "This interface is disabled for now, to not confuse ourselves between versions." |
|
|
|
|
|
|
|
@APP.route('/pagedjs/', methods=['GET', 'POST']) |
|
|
|
def pagedjs(): |
|
|
|
download_stylesheet() # download the stylesheet pad |
|
|
|
publication_unfolded = open(f'{ DIR_PATH }/static/Unfolded.html', 'r').read() |
|
|
|
# download_stylesheet() # download the stylesheet pad |
|
|
|
# publication_unfolded = open(f'{ DIR_PATH }/static/Unfolded.html', 'r').read() |
|
|
|
|
|
|
|
return flask.render_template('pagedjs.html', publication_unfolded=publication_unfolded) |
|
|
|
# return flask.render_template('pagedjs.html', publication_unfolded=publication_unfolded) |
|
|
|
return "This interface is disabled for now, to not confuse ourselves between versions." |
|
|
|
|
|
|
|
@APP.route('/inspect/', methods=['GET', 'POST']) |
|
|
|
def inspect(): |
|
|
|
download_stylesheet() # download the stylesheet pad |
|
|
|
publication_unfolded = open(f'{ DIR_PATH }/static/Unfolded.html', 'r').read() |
|
|
|
# download_stylesheet() # download the stylesheet pad |
|
|
|
# publication_unfolded = open(f'{ DIR_PATH }/static/Unfolded.html', 'r').read() |
|
|
|
|
|
|
|
return flask.render_template('inspect.html', publication_unfolded=publication_unfolded) |
|
|
|
# return flask.render_template('inspect.html', publication_unfolded=publication_unfolded) |
|
|
|
return "This interface is disabled for now, to not confuse ourselves between versions." |
|
|
|
|
|
|
|
@APP.route('/stylesheet/', methods=['GET']) |
|
|
|
def stylesheet(): |
|
|
|
return flask.render_template('stylesheet.html') |
|
|
|
# return flask.render_template('stylesheet.html') |
|
|
|
return "This interface is disabled for now, to not confuse ourselves between versions." |
|
|
|
|
|
|
|
if __name__ == '__main__': |
|
|
|
APP.debug=True |
|
|
|
|
