Hauke Klement 5f0815b140 implemented pooling for Docker containers

2015-02-06 15:59:51 +01:00

..

code_ocean

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

concerns

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

.keep

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

consumer.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

error.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

execution_environment.rb

implemented pooling for Docker containers

2015-02-06 15:59:51 +01:00

exercise.rb

started implementing teams

2015-01-28 12:28:09 +01:00

external_user.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

file_type.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

hint.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

internal_user.rb

started implementing teams

2015-01-28 12:28:09 +01:00

submission.rb

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

team.rb

started implementing teams

2015-01-28 12:28:09 +01:00