mirror of
https://github.com/servo/servo.git
synced 2025-07-24 15:50:21 +01:00
impl timer-task-source, dedicated time-out mechanism for service-worker
This commit is contained in:
parent
d553158e95
commit
50a7111eb6
13 changed files with 241 additions and 204 deletions
|
@ -10,6 +10,7 @@ pub mod networking;
|
|||
pub mod performance_timeline;
|
||||
pub mod port_message;
|
||||
pub mod remote_event;
|
||||
pub mod timer;
|
||||
pub mod user_interaction;
|
||||
pub mod websocket;
|
||||
|
||||
|
@ -34,6 +35,7 @@ pub enum TaskSourceName {
|
|||
RemoteEvent,
|
||||
MediaElement,
|
||||
Websocket,
|
||||
Timer,
|
||||
}
|
||||
|
||||
impl TaskSourceName {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue