public void stop() {
phpLoop.setShouldStop();
if(DBGInt != null) DBGInt.setShouldStop();
+ try {
+ getDebugTarget().getProcess().terminate();
+ } catch (DebugException e) {
+ e.printStackTrace();
+ }
phpLoop.notifyWait();
}
}
public BufferedReader getReader() throws IOException {
- if (reader == null) {
+ if (reader == null) {
reader = new BufferedReader(new InputStreamReader(this.getSocket().getInputStream(), "ISO8859_1"));
}
return reader;
phpLoop.start();
}
- public void resume(PHPThread thread) {
+ public void resume() {
try {
DBGInt.continueExecution();
phpLoop.notifyWait();
}
}
+ public void pause() {
+ try {
+ DBGInt.pauseExecution();
+ } catch (IOException e) {
+ PHPDebugCorePlugin.log(e);
+ stop();
+ }
+ }
protected IPHPDebugTarget getDebugTarget() {
return debugTarget;
}
//System.out.println("Socket loop finished.");
}
}
- }
+ }
}