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

mach run --android: show PID

Browse source
This commit is contained in:
Simon Sapin 2018-06-25 18:49:32 +02:00
parent 8889742407
commit fe24816d12
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/post_build_commands.py
View file

@ -91,6 +91,8 @@ class PostBuildCommands(CommandBase):
] ]
script += [ script += [
"am start com.mozilla.servo/com.mozilla.servo.MainActivity", "am start com.mozilla.servo/com.mozilla.servo.MainActivity",
"sleep 0.5",
"echo Servo PID: $(pidof com.mozilla.servo)",
"exit" "exit"
] ]
shell = subprocess.Popen([self.android_adb_path(env), "shell"], stdin=subprocess.PIPE) shell = subprocess.Popen([self.android_adb_path(env), "shell"], stdin=subprocess.PIPE)