Dec. 4, 2014
3:02 p.m.
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 <mailto: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.
Add to GTPlayBook cleanUp self reset Then this will be called on the build server. Marcus