implement SHUTDOWN

src/fsm_common.h

@@ -39,6 +39,10 @@ enum {
     Extra = 128 // messages will be below this ID
 };
 
+enum {
+    SHUTDOWN = 0
+};
+
 #ifdef __cplusplus
 }
 #endif

sync/cond_act_sync.yml2

@@ -537,4 +537,14 @@ action tellWeAreNotGrouped
     session->sync_state.keysync.is_group = false;
 ||
 
-action disable;
+action disable
+||
+    leave_device_group(session);
+    // ignore the result, disable anyway
+
+    if (!session->inject_sync_event)
+        return PEP_SYNC_NO_INJECT_CALLBACK;
+
+    session->inject_sync_event(SHUTDOWN, NULL);
+||
+