Fixed problem opening other sources
authorfvicente <fvicente>
Tue, 11 Nov 2003 03:51:47 +0000 (03:51 +0000)
committerfvicente <fvicente>
Tue, 11 Nov 2003 03:51:47 +0000 (03:51 +0000)
commite4d0331a18738a30edd09f5e03565616aecef922
tree9d17344b131cc8f537129d4d8cab117672d6b714
parent2d12a4435924f5eb96f1d38c25a2e2e0b6122e0e
Fixed problem opening other sources
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
net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/model/PHPDebugTarget.java
net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/model/PHPThread.java