Skip to content

handle play.rust-lang.org communication errors in playpens #393

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

Merged
merged 1 commit into from
Aug 6, 2017

Conversation

budziq
Copy link
Contributor

@budziq budziq commented Aug 6, 2017

also add 15s communication timeout

fixes https://github.com/azerupi/mdBook/issues/392

@azerupi
Copy link
Contributor

azerupi commented Aug 6, 2017

What does this print for the different cases? :)

@budziq
Copy link
Contributor Author

budziq commented Aug 6, 2017

"Playpen communication error"
"Playpen communication timeout"
"Playpen communication abort"

actually I did not find much interesting info in http://api.jquery.com/jquery.ajax/ that would allow to further differentiate.

If you have any suggestions I will gladly update or dig further. As you know my js knowledge is limited to my mdbook work ;)

@azerupi
Copy link
Contributor

azerupi commented Aug 6, 2017

Seems good to me! 👍
We can always refine the messages over time. :)

Thanks!

@azerupi azerupi merged commit 798225b into rust-lang:master Aug 6, 2017
@budziq budziq deleted the playpen_errors branch August 6, 2017 13:16
@shepmaster
Copy link
Member

Playpen

FWIW, it's normally called the playground. "Playpen" was a Very Old name for it

@budziq
Copy link
Contributor Author

budziq commented Aug 6, 2017

FWIW, it's normally called the playground. "Playpen" was a Very Old name for it

fixed in
azerupi@c36eca1

Thanks @shepmaster !

Ruin0x11 pushed a commit to Ruin0x11/mdBook that referenced this pull request Aug 30, 2020
handle play.rust-lang.org communication errors in playpens
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.

If a request to the playground errors, no indication is ever shown as such in the UI
3 participants