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

Please merge cl 330123005 to fix issue of orphaned pub serve process #19483

Closed
keertip opened this issue Jun 16, 2014 · 1 comment
Closed

Please merge cl 330123005 to fix issue of orphaned pub serve process #19483

keertip opened this issue Jun 16, 2014 · 1 comment
Assignees
@ricowind
Labels
merge-to-dev P1 A high priority bug; for example, a single project is unusable or has many test failures type-task
Milestone
1.5

Comments

@keertip
Copy link
Contributor

keertip commented Jun 16, 2014

This fixes an issue with orphaned pub serve process if the editor is terminated abnormally.

cl 330123005

https://codereview.chromium.org/330123005/
@ricowind
Copy link
Contributor

Fixed in 37385

Added Fixed label.

@keertip keertip added merge-to-dev Area-Editor type-task P1 A high priority bug; for example, a single project is unusable or has many test failures labels Jun 17, 2014
@keertip keertip added this to the 1.5 milestone Jun 17, 2014
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ricowind ricowind

Labels
merge-to-dev P1 A high priority bug; for example, a single project is unusable or has many test failures type-task
Projects
None yet
Milestone
1.5
Development

No branches or pull requests
2 participants
@keertip @ricowind