@@ -914,6 +914,7 @@ void PyDebugger::OnTerminatePipedProcess(wxProcessEvent &event)
     m_TimerPollDebugger.Stop();
     delete m_pp;
     m_DebugLog->Append(_T("\n*** SESSION TERMINATED ***"));
+    MarkAsStopped();
 }
 
 void PyDebugger::OnSettings(wxCommandEvent& event)
Original file line number	Diff line number	Diff line change
`@@ -914,6 +914,7 @@ void PyDebugger::OnTerminatePipedProcess(wxProcessEvent &event)`
`914`	`914`	`m_TimerPollDebugger.Stop();`
`915`	`915`	`delete m_pp;`
`916`	`916`	`m_DebugLog->Append(_T("\n* SESSION TERMINATED *"));`
	`917`	`+ MarkAsStopped();`
`917`	`918`	`}`
`918`	`919`
`919`	`920`	`void PyDebugger::OnSettings(wxCommandEvent& event)`