Revision 6046dca9
| ID | 6046dca9e68b1e43a05b62b147b883c552775473 |
| Parent | 178ad717 |
| Child | d9dd04b1 |
Make configuration available to the scheduler
In this way, scheduling decisions can depend on the configuration
of the cluster. At the moment, this is only the maximal number
jobs to be run in parallel, but in the future this will also include
job filters.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted