mirror of
https://github.com/MarginaliaSearch/MarginaliaSearch.git
synced 2025-10-05 21:22:39 +02:00
Compare commits
5 Commits
uncompress
...
deploy-030
Author | SHA1 | Date | |
---|---|---|---|
|
233f0acfb1 | ||
|
e3a4ff02e9 | ||
|
c786283ae1 | ||
|
a3f65ac0e0 | ||
|
aba1a32af0 |
@@ -66,7 +66,7 @@ public class IndexQueryExecution {
|
||||
|
||||
// Await evaluation task termination
|
||||
synchronized (IndexQueryExecution.this) {
|
||||
while (evaluationJobCounter > 0) {
|
||||
while (evaluationJobCounter > 0 && budget.hasTimeLeft()) {
|
||||
IndexQueryExecution.this.wait(budget.timeLeft());
|
||||
}
|
||||
}
|
||||
@@ -76,7 +76,7 @@ public class IndexQueryExecution {
|
||||
}
|
||||
|
||||
private void lookup(IndexQuery query) {
|
||||
final LongQueryBuffer buffer = new LongQueryBuffer(8192);
|
||||
final LongQueryBuffer buffer = new LongQueryBuffer(512);
|
||||
try {
|
||||
while (query.hasMore() && budget.hasTimeLeft()) {
|
||||
|
||||
|
@@ -14,3 +14,5 @@
|
||||
2025-07-21: Deploy executor partition 1.
|
||||
2025-07-21: Deploy search.
|
||||
2025-07-23: Redeploy all.
|
||||
2025-07-25: Redeploy index.
|
||||
|
||||
|
Reference in New Issue
Block a user