annotate docs/templates/section-page.html @ 1188:a7c43131d871

bake: Fix file write flushing problem with Python 3.8+ Writing the cache files fails in Python 3.8 because it looks like flushing behaviour has changed. We need to explicitly flush. And even then, in very rare occurrences, it looks like it can still run into racing conditions, so we do a very hacky and ugly "retry" loop when fetching cached data :(
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 15 Jun 2021 22:36:23 -0700
parents fd95fef51705
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
503
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1 {% extends "default.html" %}
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
3 {% block content %}
1057
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
4 <div class="container" id="content">
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
5 <div class="row">
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
6 <section class="col-md-8">
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
7 {{ content|safe }}
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
8 </section>
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
9 <aside class="col-md-4">
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
10 {% include 'inc/family-sidebar.html' %}
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
11 </aside>
fd95fef51705 docs: Update documentation on sources and pipelines.
Ludovic Chabant <ludovic@chabant.com>
parents: 510
diff changeset
12 </div>
503
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
13 </div>
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
14 {% endblock %}
61d53d2163d6 docs: Start a proper "code/API" section.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
15