1) Open port 7869 for dbg communication if we run a non remote debug session, as...
authorrobekras <robekras>
Wed, 14 Jun 2006 10:04:34 +0000 (10:04 +0000)
committerrobekras <robekras>
Wed, 14 Jun 2006 10:04:34 +0000 (10:04 +0000)
commit1f7e8d9ecd558f0cec008c0e5664eb8e88f1d8c3
tree35f340111e9bfd37df3c6789ffb6f2b7338f2267
parent423d81f8ff271cf0711549a73b056332888a6bce
1) Open port 7869 for dbg communication if we run a non remote debug session, as the free dbg version uses only this port as default.
2) Terminate the debug session if the DBGC_END event is send from dbg. (We have to wait for a new version of dbg, due to the fact that dbg  in the current version (2.13.1) closes the socket before DBGC_END is send).
net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGProxy.java