mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
[Bug]: Use json dumps instead of str repr to prevent escape character mismatches (#7369)
This commit is contained in:
parent
d76477099c
commit
b0030d3a2b
@ -406,7 +406,7 @@ class EventStream:
|
||||
# Text search in event content if query provided
|
||||
if query:
|
||||
event_dict = event_to_dict(event)
|
||||
event_str = str(event_dict).lower()
|
||||
event_str = json.dumps(event_dict).lower()
|
||||
if query.lower() not in event_str:
|
||||
return True
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user