Closed carllocos closed 1 year ago
notifyPushedEvent does not write a newline to the client channel causing the client-side tool to not consistently receive the notification message. https://github.com/TOPLLab/WARDuino/blob/6cd2bf610d8b1cb87b0178f886360cf3cd6435de/src/Debug/debugger.cpp#L652
notifyPushedEvent
fixed in d0421ab
carllocos
commented
1 year ago carllocos
commented
1 year ago
notifyPushedEventdoes not write a newline to the client channel causing the client-side tool to not consistently receive the notification message. https://github.com/TOPLLab/WARDuino/blob/6cd2bf610d8b1cb87b0178f886360cf3cd6435de/src/Debug/debugger.cpp#L652