| Index: pkg/analysis_server/lib/src/operation/operation_queue.dart
|
| diff --git a/pkg/analysis_server/lib/src/operation/operation_queue.dart b/pkg/analysis_server/lib/src/operation/operation_queue.dart
|
| index 3843ab2179cd9623601bcde783c45206bfb5d921..67ca99310f580a6cefc19896986c27567f13c7f0 100644
|
| --- a/pkg/analysis_server/lib/src/operation/operation_queue.dart
|
| +++ b/pkg/analysis_server/lib/src/operation/operation_queue.dart
|
| @@ -64,6 +64,20 @@ class ServerOperationQueue {
|
| }
|
|
|
| /**
|
| + * Reschedules queued operations according their current priorities.
|
| + */
|
| + void reschedule() {
|
| + // prepare all operations
|
| + List<ServerOperation> operations = <ServerOperation>[];
|
| + for (Queue<ServerOperation> queue in _queues) {
|
| + operations.addAll(queue);
|
| + queue.clear();
|
| + }
|
| + // add all operations
|
| + operations.forEach(add);
|
| + }
|
| +
|
| + /**
|
| * Returns the next operation to perform or `null` if empty.
|
| */
|
| ServerOperation take() {
|
|
|