# HG changeset patch
# User wenzelm
# Date 1730555773 -3600
# Node ID c5d1354b7e879c1c2c3d919d18da0ef4a35d4ae9
# Parent  af9be588f62fc38a346dec75b2d3905bc7af9c3d
proper protocol messages (amending 7a1f9e571046);

diff -r af9be588f62f -r c5d1354b7e87 src/Pure/Tools/debugger.scala
--- a/src/Pure/Tools/debugger.scala	Fri Nov 01 19:20:52 2024 +0100
+++ b/src/Pure/Tools/debugger.scala	Sat Nov 02 14:56:13 2024 +0100
@@ -189,7 +189,7 @@
   def set_break(b: Boolean): Unit = {
     state.change { st =>
       val st1 = st.set_break(b)
-      session.protocol_command("Debugger.break", XML.Encode.bool(b))
+      session.protocol_command("Debugger.break", XML.string(Value.Boolean(b)))
       st1
     }
     delay_update.invoke()
@@ -211,7 +211,7 @@
         XML.string(command.node_name.node),
         Document_ID.encode(command.id),
         XML.Encode.long(breakpoint),
-        XML.Encode.bool(breakpoint_state))
+        XML.string(Value.Boolean(breakpoint_state)))
       st1
     }
   }