diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2019-11-17 14:37:45 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2019-11-19 14:32:21 +0800 |
| commit | 50a7111eb65155fc7a0bdb1646c4a2e0ebdd8f90 (patch) | |
| tree | 503c793b58480822a9e74e064ec4876f3e74e9fe /components/script/task_source/mod.rs | |
| parent | d553158e95cd5988eeb3e32310c11971c0450449 (diff) | |
| download | servo-50a7111eb65155fc7a0bdb1646c4a2e0ebdd8f90.tar.gz servo-50a7111eb65155fc7a0bdb1646c4a2e0ebdd8f90.zip | |
impl timer-task-source, dedicated time-out mechanism for service-worker
Diffstat (limited to 'components/script/task_source/mod.rs')
| -rw-r--r-- | components/script/task_source/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script/task_source/mod.rs b/components/script/task_source/mod.rs index d315b34fcae..7defd922779 100644 --- a/components/script/task_source/mod.rs +++ b/components/script/task_source/mod.rs @@ -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 { |