public function ServerTaskManagerInterface::setExecuteBatch in Search API 8

Sets a batch for executing server tasks.

Parameters

\Drupal\search_api\ServerInterface|null $server: (optional) The server whose tasks should be executed. If not given, the tasks for all enabled servers are executed.

1 method overrides ServerTaskManagerInterface::setExecuteBatch()

ServerTaskManager::setExecuteBatch in src/Task/ServerTaskManager.php

Sets a batch for executing server tasks.

File

src/Task/ServerTaskManagerInterface.php, line 45

Class

ServerTaskManagerInterface

Defines the interface for the server task manager.

Namespace

Drupal\search_api\Task

Code

public function setExecuteBatch(ServerInterface $server = NULL);