TaskManager.php

Go to the documentation of this file.

<?php

namespace ILIAS\BackgroundTasks;

use ILIAS\BackgroundTasks\Exceptions\NoObserverForUserInteractionException;
use ILIAS\BackgroundTasks\Task\UserInteraction\Option;

interface TaskManager
{

    public function executeTask(Task $task, Observer $observer);


    public function run(Bucket $bucket);


    public function continueTask(Bucket $bucket, Option $option);


    public function quitBucket(Bucket $bucket);
}