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

[plug-in] Start Hosted Theia instance if Restart is called before Start #3306

Closed
mmorhun opened this issue Oct 29, 2018 · 2 comments
Closed

[plug-in] Start Hosted Theia instance if Restart is called before Start #3306

mmorhun opened this issue Oct 29, 2018 · 2 comments
Assignees
@DoroNahari
Labels
plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team

Comments

@mmorhun
Copy link
Contributor

mmorhun commented Oct 29, 2018

Now when user invokes Restart of Hosted Theia Instance command and the instance has not been started by user yet, it will show an error that a user should start it first. The goal of this issue is to change that behaviour and start Hosted Theia Instance even if it hasn't been started by user yet. In other words the goal is to make Restart behave as Start in case if it called first.
@mmorhun mmorhun added plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team labels Oct 29, 2018
@benoitf benoitf changed the title Start Hosted Theia instance if Restart is called before Start [plug-in] Start Hosted Theia instance if Restart is called before Start Oct 31, 2018
@DoroNahari DoroNahari mentioned this issue Nov 10, 2019
Merged
1 task
@DoroNahari
Copy link
Contributor

This issue can be closed now. #6521

@mmorhun
Copy link
Contributor Author

mmorhun commented Nov 20, 2019

@DoroNahari thanks for fixing it.

@mmorhun mmorhun closed this as completed Nov 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DoroNahari DoroNahari

Labels
plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mmorhun @DoroNahari