From e99fb2704c820180e48fbdb03830fa99a3de970d Mon Sep 17 00:00:00 2001 From: Marat Al Date: Tue, 13 Feb 2024 17:44:30 +0100 Subject: [PATCH] Updated the spec so that it reflects the behaviour implemented in https://github.com/ably/ably-cocoa/pull/1847, where a new device ID is generated as soon as the previous ones are cleared, so that id is never null. --- textile/features.textile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/textile/features.textile b/textile/features.textile index 73df64c70..04f0a7e99 100644 --- a/textile/features.textile +++ b/textile/features.textile @@ -1207,7 +1207,8 @@ h3(#activation-state-machine). Activation State Machine *** @(RSH3g1)@ On event @CalledDeactivate@: **** @(RSH3g1a)@ Transitions to @WaitingForDeregistration@. *** @(RSH3g2)@ On event @Deregistered@: -**** @(RSH3g2a)@ Clears all local @DeviceDetails@. +**** @(RSH3g2d)@ Generates a new pair of device @id@ and @deviceSecret@ as described in "RSH3a2b":#RSH3a2b. Clears all other local @DeviceDetails@. +**** @(RSH3g2a)@ This clause has been replaced by "@RSH3g2d@":#RSH3g2d. It was valid up to and including specification version @3.0@. **** @(RSH3g2b)@ Makes @Push#deactivate@ return or call its callback with no error. **** @(RSH3g2c)@ Transitions to @NotActivated@. *** @(RSH3g3)@ On event @DeregistrationFailed@: