diff options
| author | Glenn Watson <gw@intuitionlibrary.com> | 2014-10-03 13:50:38 +1000 |
|---|---|---|
| committer | Glenn Watson <gw@intuitionlibrary.com> | 2014-10-03 13:57:12 +1000 |
| commit | dc1d66d3ce621827189166f99dc324805bf0ccb7 (patch) | |
| tree | d334f7dd30face08820e2679a23f1f51538e80d6 /src | |
| parent | 76d1d78cc0e08185f372a53e0cb2ce9e46213c31 (diff) | |
| download | servo-dc1d66d3ce621827189166f99dc324805bf0ccb7.tar.gz servo-dc1d66d3ce621827189166f99dc324805bf0ccb7.zip | |
Add cmd line option to set user agent. Improves github when used.
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib.rs b/src/lib.rs index 6434f0c364c..a9b545fa51b 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -110,7 +110,7 @@ pub fn run(opts: opts::Opts) { .spawn(proc() { let opts = &opts_clone; // Create a Servo instance. - let resource_task = new_resource_task(); + let resource_task = new_resource_task(opts.user_agent.clone()); // If we are emitting an output file, then we need to block on // image load or we risk emitting an output file missing the // image. |