Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Update getopts

Browse source 
*Sigh* https://github.com/rust-lang-nursery/getopts/pull/53#issuecomment-415770100
This commit is contained in:
Simon Sapin 2018-08-24 16:29:43 +02:00
parent 76dd6a4cdb
commit a9627d233f
6 changed files with 13 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/start_servo.py
View file

@ -19,6 +19,6 @@ def start_servo(port, resolution):
# Use the below command if you are running this script on windows
# cmds = 'mach.bat run --webdriver ' + port + ' --resolution ' + resolution
cmds = './mach run --webdriver ' + port + ' --resolution ' + resolution
cmds = './mach run --webdriver=' + port + ' --resolution ' + resolution
process = subprocess.Popen(cmds, shell=True, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.PIPE)
return process