diff COPYING @ 86:636d48c2b77a

wokkel (pubsub): fix subscriptions node and unsubscribe response element: - `subscriptions` was incorrectly using `nodeOrEmpty`, while node can be omitted, thus `nodeOrNone` is now used. - fix missing `<subscription>` element in `unsubscribe` response - typing
author Goffi <goffi@goffi.org>
date Wed, 11 May 2022 13:13:32 +0200
parents 7430d1f6db22
children
line wrap: on
line diff