diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2018-06-25 18:49:32 +0200 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2018-07-02 13:25:44 +0200 |
commit | fe24816d12f348b5328386557d3e67b896ec2f4d (patch) | |
tree | 1112714ca12a34182fbd224445ef95abda469ac4 /python/servo | |
parent | 888974240705670db18e4e4acab4ec53b57f8a9f (diff) | |
download | servo-fe24816d12f348b5328386557d3e67b896ec2f4d.tar.gz servo-fe24816d12f348b5328386557d3e67b896ec2f4d.zip |
mach run --android: show PID
Diffstat (limited to 'python/servo')
-rw-r--r-- | python/servo/post_build_commands.py | 2 |
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) |