1) Open port 7869 for dbg communication if we run a non remote debug session, as...

[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / src / net / sourceforge / phpdt / internal / debug / core / PHPDBGInterface.java

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 (file)
--- 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: