aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo
diff options
context:
space:
mode:
authorSimon Sapin <simon.sapin@exyr.org>2018-06-25 18:49:32 +0200
committerSimon Sapin <simon.sapin@exyr.org>2018-07-02 13:25:44 +0200
commitfe24816d12f348b5328386557d3e67b896ec2f4d (patch)
tree1112714ca12a34182fbd224445ef95abda469ac4 /python/servo
parent888974240705670db18e4e4acab4ec53b57f8a9f (diff)
downloadservo-fe24816d12f348b5328386557d3e67b896ec2f4d.tar.gz
servo-fe24816d12f348b5328386557d3e67b896ec2f4d.zip
mach run --android: show PID
Diffstat (limited to 'python/servo')
-rw-r--r--python/servo/post_build_commands.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py
index 4cca8f80a20..2705fda10fa 100644
--- a/python/servo/post_build_commands.py
+++ b/python/servo/post_build_commands.py
@@ -91,6 +91,8 @@ class PostBuildCommands(CommandBase):
]
script += [
"am start com.mozilla.servo/com.mozilla.servo.MainActivity",
+ "sleep 0.5",
+ "echo Servo PID: $(pidof com.mozilla.servo)",
"exit"
]
shell = subprocess.Popen([self.android_adb_path(env), "shell"], stdin=subprocess.PIPE)