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