Skip to content
Snippets Groups Projects
Commit 1427db8e authored by Linux Build Service Account's avatar Linux Build Service Account Committed by Gerrit - the friendly Code Review server
Browse files

Merge "lrdp-v2: Gdbmi interface clean up"

parents 4531b759 91db419c
No related branches found
No related tags found
No related merge requests found
...@@ -418,3 +418,5 @@ if __name__ == '__main__': ...@@ -418,3 +418,5 @@ if __name__ == '__main__':
if options.t32launcher or options.everything or options.minidump: if options.t32launcher or options.everything or options.minidump:
dump.create_t32_launcher() dump.create_t32_launcher()
dump.gdbmi.close()
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment