Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Wolf480pl (wolf480pl@mstdn.io)'s status on Sunday, 22-Dec-2024 06:37:32 JST Wolf480pl

   in reply to

   So, last time I figured out I need pings in my protocol to check that a certain other message isn't still sitting in a queue / as a kind of synchronization fence.

   So I added pings to the model, and now I'm making the client send a ping immediately after that other message, and...

   ofc it doesn't compile because sending 2 messages means modifying the queue twice, which, in Pluscal, can't be done in a single label.

   Well ok, let's add a label inbetween the messages then.