diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2024-05-22 19:12:55 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2024-05-23 15:40:29 +0300 |
| commit | 3d7f248ee7aa7e5b470cb9bc2fcf76852e798db5 (patch) | |
| tree | 81104c01134be4eda13d5f0b1fc8320a9f6a2544 /mod/buildfile | |
| parent | bad54b28bcc59fe5d19ecaf486f52e6359009e68 (diff) | |
Make poll interval for unloaded tenant configurable and rename loaded_timestamp tenant member to unloaded_timestamp
Diffstat (limited to 'mod/buildfile')
| -rw-r--r-- | mod/buildfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mod/buildfile b/mod/buildfile index c3895dc..ff04ae5 100644 --- a/mod/buildfile +++ b/mod/buildfile @@ -39,6 +39,7 @@ mod{brep}: {hxx ixx txx cxx}{* -module-options -{$libu_src}} \ # the debugging of the notifications machinery. # cxx.poptions += -DBREP_CI_TENANT_SERVICE +cxx.poptions += -DBREP_CI_TENANT_SERVICE_UNLOADED libus{mod}: ../web/xhtml/libus{xhtml} libue{mod}: ../web/xhtml/libue{xhtml} |