Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add cmd line option to set user agent. Improves github when used.

Browse source
This commit is contained in:
Glenn Watson 2014-10-03 13:50:38 +10:00
parent 76d1d78cc0
commit dc1d66d3ce
3 changed files with 17 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/lib.rs
View file

@ -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.