| commit | d18559d4cf08bc987272f3ac2c5ccd0b443398db | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 04:59:23 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 04:59:23 2016 +0200 |
| tree | 303436ee7ac61255296f2aaa796b0116779c917e | |
| parent | 214fc0d61b25fd4e2afad15b45ed660d5e6ede33 [diff] |
Re-wrote resource model API and UPB simple resource model. Due to an update of Dockernet, we can now change resource limits at runtime.