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

Pluto is too fast for its own good! #787

Closed
samuela opened this issue Dec 18, 2020 · 2 comments
Closed

Pluto is too fast for its own good! #787

samuela opened this issue Dec 18, 2020 · 2 comments
Labels
backend Concerning the julia server and runtime good first issue Good for newcomers HTTP/WS The connection between backend and frontend

Comments

@samuela
Copy link

samuela commented Dec 18, 2020

Sometimes Pluto.run() opens up the tab in the browser before the server is fully up and running. It's not a big deal, but it may be worth adding a slight pause before trying to open up the web browser to give the server a chance to get fired up and ready to go.

Screen Shot 2020-12-17 at 7 20 30 PM

@fonsp
Copy link
Owner

fonsp commented Dec 20, 2020

Maybe we should do a GET request to our own server and await the response. This would also make Pluto 'feel more snappy' because compilation time is moved up

@samuela
Copy link
Author

samuela commented Dec 22, 2020

Yeah, that would be nice in the sense that it would get back to the user as fast as possible.

@fonsp fonsp added backend Concerning the julia server and runtime good first issue Good for newcomers HTTP/WS The connection between backend and frontend labels Jan 26, 2021
@fonsp fonsp closed this as completed in 9172f8b Jan 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend Concerning the julia server and runtime good first issue Good for newcomers HTTP/WS The connection between backend and frontend
Projects
None yet
Development

No branches or pull requests

2 participants