X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
index 1cbb0a9..89ef3a2 100644
--- a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
+++ b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
@@ -976,6 +976,7 @@ public class PHPDBGInterface {
 
 				case PHPDBGBase.DBGC_END:
 					sessionEnded = true;
+					this.proxy.setTerminated();
 					break;
 
 				case PHPDBGBase.DBGC_BREAKPOINT: