diff options
Diffstat (limited to 'monitor')
| -rw-r--r-- | monitor/monitor.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/monitor/monitor.cxx b/monitor/monitor.cxx index 05ebf9d..126650c 100644 --- a/monitor/monitor.cxx +++ b/monitor/monitor.cxx @@ -853,6 +853,11 @@ namespace brep { package_config_name = pc.name; + // @@ TMP Check if we can optimize this query by adding + // index for soft_timestamp and/or by setting + // enable_nestloop=off (or some such) as we do in + // mod/mod-builds.cxx. + // auto pbs (pbq.execute ()); if (!pbs.empty ()) |