.gdbinit_python
author John Lin <jolin@mozilla.com>
Fri, 07 Dec 2018 14:43:33 +0000
changeset 508824 c51f74f5fcb83700f2d045865901953fa3594443
parent 413304 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Bug 1495053 - p1: support setting server certificate in MediaDrm bridge. r=cpearce Differential Revision: https://phabricator.services.mozilla.com/D7790

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