# HG changeset patch
# User Michael Van De Vanter  <michael.van.de.vanter@oracle.com>
# Date 1447359885 28800
# Node ID 298c63b1d55510629abc4d25a99e00d087c73e3a
# Parent  cb2c60249e28e23f880698b8f07d5ba3d0f94644
Truffle/REPL debugger:  breakpoint list now correctly updated when some are clared

diff -r cb2c60249e28 -r 298c63b1d555 truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLHandler.java
--- a/truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLHandler.java	Thu Nov 12 12:09:24 2015 -0800
+++ b/truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLHandler.java	Thu Nov 12 12:24:45 2015 -0800
@@ -334,7 +334,7 @@
             if (breakpoint == null) {
                 return finishReplyFailed(reply, "no breakpoint number " + breakpointNumber);
             }
-            breakpoint.dispose();
+            replServer.clearBreakpoint(breakpoint);
             reply.put(REPLMessage.BREAKPOINT_ID, Integer.toString(breakpointNumber));
             return finishReplySucceeded(reply, "Breakpoint " + breakpointNumber + " cleared");
         }
diff -r cb2c60249e28 -r 298c63b1d555 truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLServer.java
--- a/truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLServer.java	Thu Nov 12 12:09:24 2015 -0800
+++ b/truffle/com.oracle.truffle.tools.debug.shell/src/com/oracle/truffle/tools/debug/shell/server/REPLServer.java	Thu Nov 12 12:24:45 2015 -0800
@@ -424,6 +424,11 @@
         return id == null ? -1 : id;
     }
 
+    void clearBreakpoint(Breakpoint breakpoint) {
+        breakpoint.dispose();
+        breakpoints.remove(breakpoint);
+    }
+
     void call(String name) throws IOException {
         Value symbol = engine.findGlobalSymbol(name);
         if (symbol == null) {