-
-
Notifications
You must be signed in to change notification settings - Fork 32
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
adding awareness event when open and close websockets
- Loading branch information
Jialin Zhang
committed
Mar 12, 2024
1 parent
fab7f19
commit dfa1e7d
Showing
4 changed files
with
58 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
"$id": https://schema.jupyter.org/jupyter_collaboration/awareness/v1 | ||
"$schema": "http://json-schema.org/draft-07/schema" | ||
version: 1 | ||
title: Collaborative awareness events | ||
personal-data: true | ||
description: | | ||
Awareness events emitted from server-side during a collaborative session. | ||
type: object | ||
required: | ||
- level | ||
- room | ||
- user | ||
- action | ||
properties: | ||
level: | ||
enum: | ||
- INFO | ||
- DEBUG | ||
- WARNING | ||
- ERROR | ||
- CRITICAL | ||
description: | | ||
Message type. | ||
room: | ||
type: string | ||
description: | | ||
Room ID. Usually composed by the file type, format and ID. | ||
user: | ||
type: string | ||
description: | | ||
The name of the user who joined or left room. | ||
action: | ||
enum: | ||
- join | ||
- leave | ||
description: | | ||
Possible values: | ||
1. join | ||
2. leave | ||
msg: | ||
type: string | ||
description: | | ||
Optional event message. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters