-
- }
- content="you are a collaborator"
- padding="0.5rem"
- position="bottom center"
- />
-
{deployments.status(p.id)}
= (p) => {
+const Permissions: Component<{}> = (p) => {
const { ws } = useAppState();
- const { server } = useConfig();
+ const { server, reset } = useConfig();
const { user } = useUser();
const params = useParams();
const [userSearch, setUserSearch] = createSignal("");
@@ -54,21 +54,29 @@ const Owners: Component<{}> = (p) => {
server.permissions![getId(u)] === PermissionLevel.None)
)
);
- let unsub = () => {};
+ let unsub_permissions = () => {};
createEffect(() => {
- unsub();
- unsub = ws.subscribe(
- [Operation.ModifyUserPermissions, Operation.ModifyUserEnabled],
- () => {
- client.list_users().then(setUsers);
- }
+ unsub_permissions();
+ unsub_permissions = ws.subscribe([Operation.ModifyUserPermissions], () =>
+ reset()
);
});
- onCleanup(() => unsub());
+ onCleanup(() => unsub_permissions());
+ let unsub_enabled = () => {};
+ createEffect(() => {
+ unsub_enabled();
+ unsub_enabled = ws.subscribe([Operation.ModifyUserEnabled], () =>
+ client.list_users().then(setUsers)
+ );
+ });
+ onCleanup(() => unsub_enabled());
return (
-
+