for f20 : use dom.state() rather than dom.info() to assess if domain is running or not
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Feb 2014 15:05:41 +0000 (16:05 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Feb 2014 15:05:41 +0000 (16:05 +0100)
hopefully should give a more stable release for f20


No differences found