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.

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

Friendly helper message about socket.io working #502

Merged
merged 2 commits into from
Sep 28, 2016
Merged

Friendly helper message about socket.io working #502

merged 2 commits into from
Sep 28, 2016

Conversation

bitemyapp
Copy link

and where the user can connect on their browser to make use of it.

@bitemyapp
Copy link
Author

Is there something that needs to be done before this PR can go forward? Are the CI failures bona fide? They don't seem to be, I know #504 works.

@luite luite merged commit 2cb0ed6 into ghcjs:master Sep 28, 2016
@luite
Copy link
Member

luite commented Sep 28, 2016

yep CI is wrong, sorry about that.

@bitemyapp
Copy link
Author

@luite anything I can do to help with CI? I'm no expert but have done my share of CI-fixins :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants