1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
"use strict";
const { Arg, generateActorSpec } = require("devtools/shared/protocol");
const eventSourceSpec = generateActorSpec({
typeName: "eventSource",
/**
* The set of events the EventSourceActor emits over RDP.
*/
events: {
// In order to avoid a naming collision, we rename the server event.
serverEventSourceConnectionClosed: {
type: "eventSourceConnectionClosed",
httpChannelId: Arg(0, "number"),
},
serverEventReceived: {
type: "eventReceived",
httpChannelId: Arg(0, "number"),
data: Arg(1, "json"),
},
},
methods: {
startListening: {
request: {},
oneway: true,
},
stopListening: {
request: {},
oneway: true,
},
},
});
exports.eventSourceSpec = eventSourceSpec;
|
