dandri/synapse
1
0
Fork 0
mirror of https://github.com/element-hq/synapse.git synced 2026-09-24 15:34:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

deploy: 26e46786b3

Browse Source
This commit is contained in:
erikjohnston
2026-09-21 09:03:17 +00:00
parent 7b327aa4a8
commit d41648129a
113 changed files with 194 additions and 118 deletions
Download Patch File Download Diff File Expand all files Collapse all files
develop/404.html
+1 -1
View File
@@ -38,7 +38,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/CAPTCHA_SETUP.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/admin_api/account_validity.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/client_server_api_extensions.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/event_reports.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/experimental_features.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/fetch_event.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/media_admin_api.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/purge_history_api.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/register_api.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/room_membership.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/rooms.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/scheduled_tasks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/server_notices.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/statistics.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/user_admin_api.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/admin_api/version_api.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/application_services.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/auth_chain_difference_algorithm.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/code_style.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/consent_tracking.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/delegate.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/deprecation_policy.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/development/cas.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/contributing_guide.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/database_schema.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/demo.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/dependencies.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/experimental_features.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/git.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/internal_documentation/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/development/internal_documentation/release_notes_review_checklist.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/development/releases.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/reviews.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/room-dag-concepts.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/saml.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/development/synapse_architecture/cancellation.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/development/synapse_architecture/faster_joins.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/development/synapse_architecture/streams.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/federate.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/jwt.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/log_contexts.html
+42 -4
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
@@ -200,9 +200,15 @@
<h1 id="log-contexts"><a class="header" href="#log-contexts">Log Contexts</a></h1>
<p>To help track the processing of individual requests, synapse uses a
‘<code>log context</code>’ to track which request it is handling at any given
moment. This is done via a thread-local variable; a <code>logging.Filter</code> is
then used to fish the information back out of the thread-local variable
and add it to each log record.</p>
moment. The “current” log context is stored in the Rust extension
(<code>synapse.synapse_rust.logcontext</code>), which resolves it from the current
tokio task (if we are running inside one) and otherwise from the current OS
thread; a <code>logging.Filter</code> is then used to fish the information back out and
add it to each log record. Storing it in Rust means a single source of truth is
visible from both Python (the reactor and its thread pool) and Rust (tokio
tasks), so log records emitted from either — including from Rust code polled on
a worker thread — are attributed to the right request. See
<a href="#the-rust-side">the Rust side</a> below.</p>
<p>Logcontexts are also used for CPU and database accounting, so that we
can track which requests were responsible for high CPU use or database
activity.</p>
@@ -642,6 +648,26 @@ chain are dropped. Dropping the the reference to an awaitable you’re
supposed to be awaiting is bad practice, so this doesn’t
actually happen too much. Unfortunately, when it does happen, it will
lead to leaked logcontexts which are incredibly hard to track down.</p>
<h2 id="the-rust-side"><a class="header" href="#the-rust-side">The Rust side</a></h2>
<p>The “current” logcontext is stored in the Rust extension rather than in a
Python thread-local, so that it is visible from both Python and Rust.
<code>current_context()</code> and <code>set_current_context()</code> are imported from
<code>synapse.logging.context</code> as usual — the Rust storage is an implementation
detail that Python code does not need to care about.</p>
<p><code>set_current_context</code> only ever runs on a Python thread, i.e. the reactor or one
of its thread pools, where it does the <code>getrusage</code> CPU accounting. It is never
called from a tokio worker thread. Therefore, CPU accounting is not captured
when executing purely Rust work.</p>
<p>What Rust code <em>does</em> need to be aware of is that when spawning a future onto
the tokio runtime, the current logcontext must be captured and carried along, so
that log records emitted while the future is polled (including any <code>log::</code>
records from dependencies, and any Python invoked back from Rust) are attributed
correctly. Don’t use a bare <code>tokio::spawn</code>. Instead use
<code>LogContextHandle::capture(py)</code> plus <code>LogContextHandle::scope</code>, which capture
the caller’s logcontext from the Python side and record it on the spawned task;
this is what <code>create_deferred</code> does. <code>current_context()</code> returns the task’s
captured context first, so <code>LoggingContextFilter</code> — and therefore <code>pyo3-log</code> —
sees the right context on worker threads without any per-log-record work.</p>
<h2 id="debugging-logcontext-issues"><a class="header" href="#debugging-logcontext-issues">Debugging logcontext issues</a></h2>
<p>Debugging logcontext issues can be tricky as leaking or losing a logcontext will surface
downstream and can point to an unrelated part of the codebase. It’s best to enable debug
@@ -652,6 +678,18 @@ backwards in the logs from the point where the issue is observed to find the roo
# Unlike other loggers, this one needs to be explicitly configured to see debug logs.
synapse.logging.context.debug:
level: DEBUG
</code></pre>
<p>Note that some of these traces (<code>LoggingContext(...).__enter__</code>/<code>__exit__</code>) are
emitted from Rust via <code>pyo3-log</code>, which caches logger levels for performance.
Configuring the logger in the logging config (as above) works — the cache is
flushed whenever the config is (re)loaded, including on <code>SIGHUP</code> — but enabling
the logger <em>at runtime</em> (e.g. <code>setLevel(logging.DEBUG)</code> from the manhole) will
not surface the Rust-emitted traces until you also flush the cache:</p>
<pre><code class="language-python">import logging
from synapse.synapse_rust import reset_logging_config
logging.getLogger("synapse.logging.context.debug").setLevel(logging.DEBUG)
reset_logging_config()
</code></pre>
</main>
develop/manhole.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/media_repository.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/message_retention_policies.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/metrics-howto.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/modules/account_data_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/account_validity_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/add_extra_fields_to_client_events_unsigned.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/background_update_controller_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/federation_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/media_repository_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/password_auth_provider_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/porting_legacy_module.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/presence_router_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/ratelimit_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/spam_checker_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/third_party_rules_callbacks.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/modules/writing_a_module.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/openid.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/opentracing.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/other/running_synapse_on_single_board_computers.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/password_auth_providers.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/postgres.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/print.html
+42 -4
View File
@@ -38,7 +38,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
@@ -20025,9 +20025,15 @@ with LoggingContext("request-1"):
<h1 id="log-contexts"><a class="header" href="#log-contexts">Log Contexts</a></h1>
<p>To help track the processing of individual requests, synapse uses a
‘<code>log context</code>’ to track which request it is handling at any given
moment. This is done via a thread-local variable; a <code>logging.Filter</code> is
then used to fish the information back out of the thread-local variable
and add it to each log record.</p>
moment. The “current” log context is stored in the Rust extension
(<code>synapse.synapse_rust.logcontext</code>), which resolves it from the current
tokio task (if we are running inside one) and otherwise from the current OS
thread; a <code>logging.Filter</code> is then used to fish the information back out and
add it to each log record. Storing it in Rust means a single source of truth is
visible from both Python (the reactor and its thread pool) and Rust (tokio
tasks), so log records emitted from either — including from Rust code polled on
a worker thread — are attributed to the right request. See
<a href="#the-rust-side">the Rust side</a> below.</p>
<p>Logcontexts are also used for CPU and database accounting, so that we
can track which requests were responsible for high CPU use or database
activity.</p>
@@ -20467,6 +20473,26 @@ chain are dropped. Dropping the the reference to an awaitable you’re
supposed to be awaiting is bad practice, so this doesn’t
actually happen too much. Unfortunately, when it does happen, it will
lead to leaked logcontexts which are incredibly hard to track down.</p>
<h2 id="the-rust-side"><a class="header" href="#the-rust-side">The Rust side</a></h2>
<p>The “current” logcontext is stored in the Rust extension rather than in a
Python thread-local, so that it is visible from both Python and Rust.
<code>current_context()</code> and <code>set_current_context()</code> are imported from
<code>synapse.logging.context</code> as usual — the Rust storage is an implementation
detail that Python code does not need to care about.</p>
<p><code>set_current_context</code> only ever runs on a Python thread, i.e. the reactor or one
of its thread pools, where it does the <code>getrusage</code> CPU accounting. It is never
called from a tokio worker thread. Therefore, CPU accounting is not captured
when executing purely Rust work.</p>
<p>What Rust code <em>does</em> need to be aware of is that when spawning a future onto
the tokio runtime, the current logcontext must be captured and carried along, so
that log records emitted while the future is polled (including any <code>log::</code>
records from dependencies, and any Python invoked back from Rust) are attributed
correctly. Don’t use a bare <code>tokio::spawn</code>. Instead use
<code>LogContextHandle::capture(py)</code> plus <code>LogContextHandle::scope</code>, which capture
the caller’s logcontext from the Python side and record it on the spawned task;
this is what <code>create_deferred</code> does. <code>current_context()</code> returns the task’s
captured context first, so <code>LoggingContextFilter</code> — and therefore <code>pyo3-log</code> —
sees the right context on worker threads without any per-log-record work.</p>
<h2 id="debugging-logcontext-issues"><a class="header" href="#debugging-logcontext-issues">Debugging logcontext issues</a></h2>
<p>Debugging logcontext issues can be tricky as leaking or losing a logcontext will surface
downstream and can point to an unrelated part of the codebase. It’s best to enable debug
@@ -20478,6 +20504,18 @@ backwards in the logs from the point where the issue is observed to find the roo
synapse.logging.context.debug:
level: DEBUG
</code></pre>
<p>Note that some of these traces (<code>LoggingContext(...).__enter__</code>/<code>__exit__</code>) are
emitted from Rust via <code>pyo3-log</code>, which caches logger levels for performance.
Configuring the logger in the logging config (as above) works — the cache is
flushed whenever the config is (re)loaded, including on <code>SIGHUP</code> — but enabling
the logger <em>at runtime</em> (e.g. <code>setLevel(logging.DEBUG)</code> from the manhole) will
not surface the Rust-emitted traces until you also flush the cache:</p>
<pre><code class="language-python">import logging
from synapse.synapse_rust import reset_logging_config
logging.getLogger("synapse.logging.context.debug").setLevel(logging.DEBUG)
reset_logging_config()
</code></pre>
<div style="break-before: page; page-break-before: always;"></div>
<h1 id="replication-architecture"><a class="header" href="#replication-architecture">Replication Architecture</a></h1>
<h2 id="motivation"><a class="header" href="#motivation">Motivation</a></h2>
develop/replication.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/reverse_proxy.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/room_and_user_statistics.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/searcher-c2a407aa.js
+1 -1
View File
@@ -437,7 +437,7 @@ window.search = window.search || {};
if (yes) {
loadSearchScript(
window.path_to_searchindex_js ||
path_to_root + 'searchindex-35a3dde6.js',
path_to_root + 'searchindex-321a234e.js',
'mdbook-search-index');
search_wrap.classList.remove('hidden');
searchicon.setAttribute('aria-expanded', 'true');
develop/searchindex-321a234e.js
+1
View File
File diff suppressed because one or more lines are too long
develop/searchindex-35a3dde6.js
-1
View File
File diff suppressed because one or more lines are too long
develop/server_notices.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/setup/forward_proxy.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/setup/installation.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/setup/security.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/setup/turn/coturn.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/setup/turn/eturnal.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/sso_mapping_providers.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/structured_logging.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/synctl_workers.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/systemd-with-workers/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-64310643.js"></script>
develop/tcp_replication.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/templates.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/turn-howto.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/upgrade.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-35a3dde6.js";
window.path_to_searchindex_js = "searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-64310643.js"></script>
develop/usage/administration/admin_api/background_updates.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-64310643.js"></script>
develop/usage/administration/admin_api/federation.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-64310643.js"></script>
develop/usage/administration/admin_api/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-64310643.js"></script>
develop/usage/administration/admin_api/registration_tokens.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-64310643.js"></script>
develop/usage/administration/admin_faq.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/backups.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/database_maintenance_tools.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/index.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/monitoring/reporting_homeserver_usage_statistics.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-64310643.js"></script>
develop/usage/administration/monthly_active_users.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/request_log.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/state_groups.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>
develop/usage/administration/understanding_synapse_through_grafana_graphs.html
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-35a3dde6.js";
window.path_to_searchindex_js = "../../searchindex-321a234e.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-64310643.js"></script>

Some files were not shown because too many files have changed in this diff Show More