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;
}