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

Change web client to output debug/failure messages #9

Closed
kai-qu opened this issue Oct 31, 2017 · 2 comments
Closed

Change web client to output debug/failure messages #9

kai-qu opened this issue Oct 31, 2017 · 2 comments
Assignees
@wodeni
Labels
kind:bug

Comments

@kai-qu
Copy link
Contributor

kai-qu commented Oct 31, 2017

Currently only the gloss frontend outputs debug messages.
wodeni added a commit that referenced this issue Nov 9, 2017
@wodeni
Fixed #9 by allowing debug msgs in Snap
d27fc83
@wodeni
Copy link
Member

wodeni commented Nov 9, 2017 •
edited

d27fc83 solves the problem by copying runServer implementation directly from the websockets package and modifying the source code. Specifically, it was a bracket call that prevents the debug messages from appearing, forcing the server to close the socket and ignore debug messages.

TODO:

  • Clear up imports in Server.hs. It's getting a little messy.

@wodeni wodeni self-assigned this Nov 9, 2017
wodeni added a commit that referenced this issue Nov 20, 2017
@wodeni
cleaned up Server imports, and added documentation for the added func…
bf19679 
…tions. #9
wodeni added a commit that referenced this issue Nov 20, 2017
@wodeni
added network into dependencies. #9
a78d89f
@wodeni
Copy link
Member

wodeni commented Jan 13, 2018

Snap now displays debug messages. Closing the issue.

@wodeni wodeni closed this as completed Jan 13, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wodeni wodeni

Labels
kind:bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kai-qu @wodeni