annotate docs/assets/css/pygments.pygstyle @ 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 66f8bbe8de91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
510
66f8bbe8de91 docs: Always use Pygments styles. Use the new CSS generation processor.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1 style: colorful
66f8bbe8de91 docs: Always use Pygments styles. Use the new CSS generation processor.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2