.gdbinit_python
author alwu <alwu@mozilla.com>
Fri, 11 Jan 2019 20:43:01 +0000
changeset 513517 c34e287f2f7ca98ad1945804c2a20f61249b36af
parent 413304 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1513733 - part2 : try to start AudioContext when media element which is as a source for web audio starts r=cpearce,karlt If media element is used as a source for AudioContext, we would try to start AudioContext which was not allowed to start when media element starts playing. Differential Revision: https://phabricator.services.mozilla.com/D14593

python
import sys
sys.path.append('third_party/python/gdbpp/')
import gdbpp
end