On 04 Dec 2014, at 15:46, Marcus Denker <marcus.denker@inria.fr> wrote:

On 04 Dec 2014, at 15:42, Tudor Girba <tudor@tudorgirba.com> wrote:

Aha. So, that's a bug, right?

I think Playground needs to be resetted on #cleanUpForRelease.

Else the image on the server thinks that it already has a playground file.