Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Stream events in machine-friendly format #1038

Closed
arcz opened this issue Apr 24, 2023 · 1 comment
Closed

Stream events in machine-friendly format #1038

arcz opened this issue Apr 24, 2023 · 1 comment
Labels
enhancement good first issue
Milestone
Echidna 2.2.1

Comments

@arcz
Copy link
Member

arcz commented Apr 24, 2023

Describe the desired feature

Echidna should offer an event stream that is easy to pick up from other programs. I think JSON + SSE or websockets would be a great place to start.

https://stackoverflow.com/questions/37860770/servant-server-sent-events-support
https://hackage.haskell.org/package/wai-extra-3.1.13.0/docs/Network-Wai-EventSource.html
@arcz arcz added this to the Echidna 2.2.1 milestone May 22, 2023
@arcz
Copy link
Member Author

arcz commented Jan 25, 2024

Done in #1131

@arcz arcz closed this as completed Jan 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement good first issue
Projects
None yet
Milestone
Echidna 2.2.1
Development

No branches or pull requests
1 participant
@arcz