.gdbinit_python
author Andrea Marchesini <amarchesini@mozilla.com>
Fri, 13 Oct 2017 08:47:41 +0200
changeset 386120 eeb89284500e2756eec978be2d4233b3411aa4ca
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 482060 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1406818 - Introduce nsIToolkitProfile.removeInBackground to remove profile folder in a separate thread, r=ehsan

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