mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #8437 from erasche/undocumented
document undocumented workflow_schedulers_config_file
This commit is contained in:
@@ -3505,6 +3505,17 @@
|
||||
:Type: str
|
||||
|
||||
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
``workflow_schedulers_config_file``
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
|
||||
:Description:
|
||||
Optional configuration file similar to `job_config_file` to
|
||||
specify which Galaxy processes should schedule workflows.
|
||||
:Default: ``config/workflow_schedulers_conf.xml``
|
||||
:Type: str
|
||||
|
||||
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
``cache_user_job_count``
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
|
||||
@@ -1701,6 +1701,10 @@ galaxy:
|
||||
# tags to do the mapping).
|
||||
#workflow_resource_params_mapper: config/workflow_resource_mapper_conf.yml
|
||||
|
||||
# Optional configuration file similar to `job_config_file` to specify
|
||||
# which Galaxy processes should schedule workflows.
|
||||
#workflow_schedulers_config_file: config/workflow_schedulers_conf.xml
|
||||
|
||||
# If using job concurrency limits (configured in job_config_file),
|
||||
# several extra database queries must be performed to determine the
|
||||
# number of jobs a user has dispatched to a given destination. By
|
||||
|
||||
@@ -2612,6 +2612,14 @@ mapping:
|
||||
descriptions (additional types of mappings via these files could be implemented but
|
||||
haven't yet - for instance using workflow tags to do the mapping).
|
||||
|
||||
workflow_schedulers_config_file:
|
||||
type: str
|
||||
default: config/workflow_schedulers_conf.xml
|
||||
required: false
|
||||
desc: |
|
||||
Optional configuration file similar to `job_config_file` to specify
|
||||
which Galaxy processes should schedule workflows.
|
||||
|
||||
cache_user_job_count:
|
||||
type: bool
|
||||
default: false
|
||||
|
||||
Reference in New Issue
Block a user