better gdbserver shutdown

This commit is contained in:
Dan Armendariz 2015-06-30 15:38:36 +00:00 committed by Dan Armendariz
parent 70c9e077c9
commit a07ab41a1b

View File

@ -71,7 +71,7 @@
"c9.ide.find": "#35379124ca",
"c9.ide.find.infiles": "#c132ad243c",
"c9.ide.find.replace": "#44772dd796",
"c9.ide.run.debug": "#764ea1e063",
"c9.ide.run.debug": "#0601784e59",
"c9.automate": "#47e2c429c9",
"c9.ide.ace.emmet": "#6dc4585e02",
"c9.ide.ace.gotoline": "#a8ff07c8f4",