-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 06/11/2014 10:16 PM, Simo Sorce wrote:
On Tue, 2014-06-10 at 10:20 -0400, Stephen Gallagher wrote:
>
> I've attached a graphviz document and a rendered PNG of the
> state diagram to hopefully make it clear. Comments and feedback
> welcome, but our intent is to be off and implementing before the
> end of the week.
Btw, I am not sure I understand why a crash would be resolved by a
deploy, there is quite a difference between an error in deploying
and a runtime error a while after successfully deployed.
That's a case where resetError() is the more likely answer (or a
package update fixing the crash bug). I can add a separate Crashed
state if you really want it, but it seems superfluous to me.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird -
http://www.enigmail.net/
iEYEARECAAYFAlOZsyAACgkQeiVVYja6o6NEMACfc42Z8ny6y+ypDdfFWMIuHLiG
OxQAn1i2C2LAh03oYXEFUSwN5+vfOgnn
=IW7K
-----END PGP SIGNATURE-----