5 Commits

Author	SHA1	Message	Date
Hauke Klement	4a6e6eb5e6	refactored refill of Docker container pool	2015-02-20 14:59:51 +01:00
Hauke Klement	2fab3907c0	fixed Docker configuration	2015-02-15 11:10:18 +01:00
Hauke Klement	1226eb9d24	refill Docker container pool in small batches	2015-02-11 15:48:06 +01:00
Hauke Klement	5f0815b140	implemented pooling for Docker containers	2015-02-06 15:59:51 +01:00
Hauke Klement	4cbf9970b1	transferred Code Ocean from original repository to GitHub	2015-01-22 10:01:32 +01:00