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

Jump to bottom

Bug 526723 - Graceful shutdown of orion clusters #258

Merged

squarti merged 1 commit into master from silenio/Bug526723

Nov 2, 2017

Contributor

squarti commented Nov 1, 2017

ensure that we can handle a corrupted user.json file org-ids/web-ide-issues#777


          Bug 526723 - Graceful shutdown of orion clusters

ensure that we can handle a corrupted user.json file org-ids/web-ide-issues#777

squarti requested a review from soulbeing

November 1, 2017 15:58

eclipsewebmaster commented Nov 1, 2017

Issue tracker reference:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=526723

coveralls commented Nov 1, 2017

Coverage remained the same at 34.187% when pulling 2042229 on silenio/Bug526723 into 256fef0 on master.

squarti merged commit 8585fc5 into master

squarti deleted the silenio/Bug526723 branch

July 5, 2022 13:30

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