docker/docker — pull request #9427 by mariusv (2014-12-01 13:06:35+00:00)
Title: removed redis-server and replaced with redis-tools

On the web application container we should install only redis-tools as is faster and no hassle with stopping the server.