Commitb5855e4

authored

Fix broken pipe from gdb after killing process (#151)

1 parent644eea8 commitb5855e4Copy full SHA for b5855e4

File tree

-0

lines changed

-0

lines changed

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -108,6 +108,9 @@ def kill(self):`
`108`	`108`	`self.proc.stdin.close()`
`109`	`109`	`self.proc.stdout.close()`
`110`	`110`
	`111`	`+defterminate_subprocess(self):`
	`112`	`+self._execute('kill')`
	`113`	`+`
`111`	`114`	`defset_breakpoint(self,location):`
`112`	`115`
`113`	`116`	`result=self._execute('break '+location)`

Comments

(0)