• Andrei Paskevich's avatar
    add "exclusive metaproperties" to support metas-options: adding · 8b07467f
    Andrei Paskevich authored
    a meta of an exclusive kind removes the previous meta of this 
    kind (if any) from task_meta.
    
    Discuss: should driver-imposed exclusive metas have a low priority
    (i.e. driver does not add an exclusive meta if the task already 
    contains one of this kind) or should we just trust the driver
    authors not to put exclusive metas in drivers? 
    8b07467f
task.mli 3.77 KB