diff options
| author | Andreas Tolfsen <ato@mozilla.com> | 2017-01-26 18:53:46 +0000 |
|---|---|---|
| committer | Andreas Tolfsen <ato@mozilla.com> | 2017-01-26 19:44:18 +0000 |
| commit | 90d1ee7602aabb41db1fee607bad16cb771d4cd9 (patch) | |
| tree | a0b5d187e53daafc839b28e5522d0a10135b2843 /components/script/stylesheet_loader.rs | |
| parent | e87c275de02c2d96851f7e637d55cb7076f35224 (diff) | |
| download | servo-90d1ee7602aabb41db1fee607bad16cb771d4cd9.tar.gz servo-90d1ee7602aabb41db1fee607bad16cb771d4cd9.zip | |
webdriver_server: allow script timeout to be optional
The script timeout duration may be set to null, indicating that an
injected script should run indefinitely without getting interrupted.
This change fixes the internal data structure, but does not address the
parsing of the input arguments to handle_set_timeouts.
Diffstat (limited to 'components/script/stylesheet_loader.rs')
0 files changed, 0 insertions, 0 deletions