Skip to content

Update the runtime parameters offered by the tab completion of qlever settings and qlever start - #358

Merged
hannahbast merged 1 commit into
mainfrom
update-runtime-parameters
Oct 21, 2026
Merged

hannahbast merged 1 commit into
mainfrom
update-runtime-parameters

Conversation

@hannahbast

@hannahbast hannahbast commented Oct 21, 2026 •

Copy link
Copy Markdown
Collaborator

The tab completion of qlever settings and qlever start offers the runtime parameters from a fixed list in the Qleverfile class, which has fallen behind https://github.com/ad-freiburg/qlever. This change adds the eleven parameters of the current QLever master that were missing, for example max-num-threads-per-query, sort-num-tasks-in-flight, and throw-on-invalid-wkt. It drops five names that QLever has replaced in the meantime, for example parallel-sort-num-threads by sort-num-tasks-in-flight.

The list also includes memory-for-queries, geo-prefilter-planning-max-rows, and geo-prefilter-planning-max-cost, which are not yet in QLever master but in its integration branch geo-cell-integration (ad-freiburg/qlever#3783). That way, the integration branch can be used without a separate version of qlever-control. Setting such a parameter on a server that does not know it fails with an error from the server, as for any other unknown parameter.

The list only feeds the tab completion. qlever settings key=value already passes any parameter to the server.

…r settings` and `qlever start`

Add the eleven parameters of the current QLever master that were missing, and the three of the integration branch `geo-cell-integration` (`memory-for-queries`, `geo-prefilter-planning-max-rows`, `geo-prefilter-planning-max-cost`). Drop the five parameters that QLever has renamed in the meantime.
Copilot AI balanced review requested due to automatic review settings October 21, 2026 21:53

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.

@hannahbast
hannahbast merged commit f26ae6d into main Oct 21, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants