2021-02-01 06:25:00 +03:00
|
|
|
/- *resource, *group
|
2021-01-29 07:21:13 +03:00
|
|
|
^?
|
|
|
|
|%
|
2021-11-18 00:03:30 +03:00
|
|
|
+$ app ?(%graph %groups)
|
|
|
|
+$ uid @uvH
|
|
|
|
::
|
|
|
|
:: $request: State of a join request
|
|
|
|
::
|
|
|
|
:: .started: Time request first sent
|
|
|
|
:: .ship: Host of group
|
|
|
|
:: .progress: Progress of request
|
|
|
|
:: .share-co: Automatically share contact?
|
|
|
|
:: .autojoin: Automatically join graphs
|
|
|
|
:: .app: Whether we're joining a group or a graph
|
|
|
|
:: .invite: Associated invites
|
2021-01-29 07:21:13 +03:00
|
|
|
::
|
2021-03-04 05:54:37 +03:00
|
|
|
+$ request
|
2021-11-18 00:03:30 +03:00
|
|
|
$: started=time
|
2021-03-04 05:54:37 +03:00
|
|
|
=ship
|
|
|
|
=progress
|
2021-11-24 23:18:56 +03:00
|
|
|
=app
|
2021-11-18 00:03:30 +03:00
|
|
|
share-co=?
|
|
|
|
autojoin=?
|
|
|
|
invite=(set uid)
|
2021-03-04 05:54:37 +03:00
|
|
|
==
|
|
|
|
::
|
2021-01-29 07:21:13 +03:00
|
|
|
+$ action
|
2021-02-01 06:25:00 +03:00
|
|
|
$% :: host side
|
|
|
|
[%create name=term =policy title=@t description=@t]
|
|
|
|
[%remove =resource]
|
|
|
|
:: client side
|
2021-11-18 00:03:30 +03:00
|
|
|
$: %join
|
|
|
|
=resource
|
|
|
|
=ship
|
|
|
|
=app
|
2021-11-24 23:18:56 +03:00
|
|
|
share-contact=?
|
2021-11-18 00:03:30 +03:00
|
|
|
autojoin=?
|
|
|
|
==
|
|
|
|
[%abort =resource]
|
2021-02-01 06:25:00 +03:00
|
|
|
[%leave =resource]
|
2021-02-03 02:49:29 +03:00
|
|
|
::
|
|
|
|
[%invite =resource ships=(set ship) description=@t]
|
2021-03-04 05:54:37 +03:00
|
|
|
:: pending ops
|
2021-11-18 00:03:30 +03:00
|
|
|
[%done =resource]
|
2021-02-01 06:25:00 +03:00
|
|
|
==
|
2021-11-18 00:03:30 +03:00
|
|
|
:: $progress: state of a join request
|
2021-01-29 07:21:13 +03:00
|
|
|
::
|
2021-11-18 00:03:30 +03:00
|
|
|
:: %start: Waiting on add poke to succeed
|
|
|
|
:: %added: Waiting on groups
|
|
|
|
:: %metadata: Waiting on metadata
|
|
|
|
:: final: Join request succeeded/errors
|
2021-01-29 07:21:13 +03:00
|
|
|
+$ progress
|
2021-11-18 00:03:30 +03:00
|
|
|
?(%start %added %metadata final)
|
|
|
|
::
|
|
|
|
:: $final: resolution of a join request
|
|
|
|
::
|
|
|
|
:: %no-perms: Failed, did not have permissions
|
|
|
|
:: %abort: Join request manually aborted
|
|
|
|
:: %strange: Failed unexpectedly
|
|
|
|
:: %done: Succeeded
|
2021-01-29 08:12:50 +03:00
|
|
|
::
|
|
|
|
+$ final
|
2021-11-18 00:03:30 +03:00
|
|
|
?(%no-perms %abort %strange %done)
|
2021-01-29 07:21:13 +03:00
|
|
|
::
|
|
|
|
+$ update
|
2021-03-04 05:54:37 +03:00
|
|
|
$% [%initial initial=(map resource request)]
|
2021-03-29 03:29:47 +03:00
|
|
|
[%started =resource =request]
|
2021-01-29 07:21:13 +03:00
|
|
|
[%progress =resource =progress]
|
2021-03-04 05:54:37 +03:00
|
|
|
[%hide =resource]
|
2021-01-29 07:21:13 +03:00
|
|
|
==
|
|
|
|
--
|