diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-16 14:20:39 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-16 14:20:39 +0200 |
commit | 19c8efe49f23569a53e928488c460e0d3b20cf8a (patch) | |
tree | 0e5403a0511eed8c14813f9722ea7c590fa1156d /libbrep | |
parent | c4798955364d3a5e4074e56a0038148837c75d82 (diff) |
Sketch
Diffstat (limited to 'libbrep')
-rw-r--r-- | libbrep/package.hxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libbrep/package.hxx b/libbrep/package.hxx index 45008d4..b66fade 100644 --- a/libbrep/package.hxx +++ b/libbrep/package.hxx @@ -265,6 +265,12 @@ namespace brep optional<tenant_service> service; // Note: foreign-mapped in build. + // If the tenant is loaded, this value is absent. Otherwise it is the time + // of the last attempt to load the tenant (see the build_unloaded() tenant + // services notification for details). + // + optional<timestamp> loaded_timestamp; + // Note that due to the implementation complexity and performance // considerations, the service notifications are not synchronized. This // leads to a potential race, so that before we have sent the `queued` |