implemented pooling for Docker containers

2015-02-06 15:59:51 +01:00
parent a22a5af711
commit 5f0815b140
20 changed files with 453 additions and 208 deletions
--- a/config/locales/de.yml
+++ b/config/locales/de.yml
@@ -13,6 +13,7 @@ de:
        help: Hilfetext
        name: Name
        permitted_execution_time: Erlaubte Ausführungszeit (in Sekunden)
+        pool_size: Docker-Container-Pool-Größe
        run_command: Ausführungsbefehl
        test_command: Testbefehl
        testing_framework: Testing-Framework