diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-06-22 12:36:28 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-06-23 16:49:50 +0800 |
| commit | 96c124230b367c0c9658e3628bcb0a33533cc96c (patch) | |
| tree | d59c637732e0f262a72b9c6d669b5b10b9a9870f /components/script/task_source | |
| parent | 3279d1fe85d3aa8dbb99c59b4184e4bc3cc6c54b (diff) | |
| download | servo-96c124230b367c0c9658e3628bcb0a33533cc96c.tar.gz servo-96c124230b367c0c9658e3628bcb0a33533cc96c.zip | |
Ensure done_chan is Some, when refreshing a still receiving resource
Diffstat (limited to 'components/script/task_source')
0 files changed, 0 insertions, 0 deletions