ARTS built-in documentation server
Workspace Method AgendaExecuteExclusive
Execute an agenda exclusively. Only one call to AgendaExecuteExclusive is executed at a time. Other calls to this function are blocked until the current one finishes. WARNING: Can cause deadlocks! Use with care.
Authors: Oliver Lemke
|GIN||a||(Agenda)||Agenda to be executed.|