TaskManager.php

Go to the documentation of this file.

<?php

namespace ILIAS\BackgroundTasks;

use ILIAS\BackgroundTasks\Task\UserInteraction\Option;

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

    public function run(Bucket $bucket): void;

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

    public function quitBucket(Bucket $bucket): void;
}