From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 14 Mar 2021 21:53:26 +0000 (+0000)
Subject: js: Actually Record when we get RecordedUnpredictable
X-Git-Tag: otter-0.4.0~51
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d21c27e592caf9ebe3b14172387f7ef97107df36;p=otter.git

js: Actually Record when we get RecordedUnpredictable

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/templates/script.ts b/templates/script.ts
index c00d246d..9ba638bb 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1198,6 +1198,7 @@ messages.RecordedUnpredictable = <MessageHandler>function
 (j: { piece: PieceId, cseq: ClientSeq, ns: PreparedPieceState } ) {
   let piece = j.piece;
   let p = pieces[piece]!;
+  piece_recorded_cseq(p, j);
   piece_modify(piece, p, j.ns, false);
 }