|
@@ -379,10 +379,12 @@ static void xenbus_reset_frontend(char *fe, char *be, int be_state)
|
|
|
case XenbusStateConnected:
|
|
|
xenbus_printf(XBT_NIL, fe, "state", "%d", XenbusStateClosing);
|
|
|
xenbus_reset_wait_for_backend(be, XenbusStateClosing);
|
|
|
+ /* fall through */
|
|
|
|
|
|
case XenbusStateClosing:
|
|
|
xenbus_printf(XBT_NIL, fe, "state", "%d", XenbusStateClosed);
|
|
|
xenbus_reset_wait_for_backend(be, XenbusStateClosed);
|
|
|
+ /* fall through */
|
|
|
|
|
|
case XenbusStateClosed:
|
|
|
xenbus_printf(XBT_NIL, fe, "state", "%d", XenbusStateInitialising);
|