diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2020-08-05 14:56:32 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2020-08-06 09:55:01 -0400 |
| commit | f4915ef6c98995871fc9b3f9218877f12df2ca21 (patch) | |
| tree | fc650a40dde06cc8d85b3e0fc420a36a3c4a1ecf /components/script/dom/webglobject.rs | |
| parent | 0b619bf92013b030b8987c44fb38666b165e780e (diff) | |
| download | servo-f4915ef6c98995871fc9b3f9218877f12df2ca21.tar.gz servo-f4915ef6c98995871fc9b3f9218877f12df2ca21.zip | |
devtools: Track multiple clients better, and cleanup streams when a client isn't reachable.
Diffstat (limited to 'components/script/dom/webglobject.rs')
0 files changed, 0 insertions, 0 deletions