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

[ports] notify a user about failed auto port exposure and allow to restart it #3160

Closed
akosyakov opened this issue Feb 9, 2021 · 2 comments · Fixed by #4565
Closed

[ports] notify a user about failed auto port exposure and allow to restart it #3160

akosyakov opened this issue Feb 9, 2021 · 2 comments · Fixed by #4565

Comments

@akosyakov
Copy link
Member

With #3120 it can happen that we give up on trying to auto exposure the port if it is blocking for very long time. It should not happen often, but if it happens a user does not know about it and a port is staling in detecting mode. We should display the error state and allow a user to retry auto exposure.

@csweichel csweichel added this to the March 2021 milestone Feb 11, 2021
@csweichel csweichel added feature: ports type: feature request New feature or request priority: 💪 stretch goal This issue is a stretch goal within an iteration. labels Mar 1, 2021
@csweichel csweichel modified the milestones: March Backlog 2021, [do-not-add-issues] March 2021 Mar 1, 2021
@akosyakov akosyakov modified the milestones: March 2021, [backlog] April 2021 Apr 8, 2021
@akosyakov akosyakov modified the milestone: April 2021 Apr 13, 2021
@geropl geropl modified the milestones: April 2021, May 2021 (backlog) Apr 13, 2021
@csweichel csweichel removed this from the May 2021 (backlog) milestone May 6, 2021
@akosyakov akosyakov removed the priority: 💪 stretch goal This issue is a stretch goal within an iteration. label May 10, 2021
@akosyakov akosyakov added this to the [backlog] June 2021 milestone May 10, 2021
@corneliusludmann corneliusludmann self-assigned this Jun 1, 2021
@akosyakov
Copy link
Member Author

Information already exposed by supervisor. We need to adjust VS Code gitpod extension to display it properly.

@akosyakov
Copy link
Member Author

resolved by #4565 (comment)

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

Successfully merging a pull request may close this issue.

4 participants