Trees | Indices | Help |
|
---|
|
A temporary resource reservation manager.
This is used to reserve resources in a job, before using them, making sure other jobs cannot get them in the meantime.
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 on Fri Jan 18 10:09:37 2013 | http://epydoc.sourceforge.net |