Dec. 4, 2014
11:06 p.m.
Done. It will be available in the next GT release. Doru On Thu, Dec 4, 2014 at 4:02 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
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.
Add to GTPlayBook
cleanUp self reset
Then this will be called on the build server.
Marcus
-- www.tudorgirba.com "Every thing has its own flow"