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

Clean up an EnvServlet from global Runhouse daemon state if it dies unexpectedly. #734

Merged
merged 1 commit into from
Apr 16, 2024
Merged

Clean up an EnvServlet from global Runhouse daemon state if it dies unexpectedly. #734

merged 1 commit into from
Apr 16, 2024

Conversation

rohinb2
Copy link
Contributor

@rohinb2 rohinb2 commented Apr 15, 2024

unexpectedly.

@rohinb2 Graphite App
Copy link
Contributor Author

rohinb2 commented Apr 15, 2024 •
edited
Loading

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @rohinb2 and the rest of your teammates on Graphite Graphite

@rohinb2 rohinb2 mentioned this pull request Apr 15, 2024
Merged
@rohinb2 rohinb2 force-pushed the rohin/clean-up-servlet-if-it-dies branch from 18012af to 6d20bf0 Compare April 16, 2024 00:11
This was referenced Apr 16, 2024
Merged
Merged
@rohinb2 rohinb2 changed the base branch from rohin/add-helper to rohin/move-env-servlet-cache-to-obj-store April 16, 2024 16:23
@rohinb2 rohinb2 force-pushed the rohin/clean-up-servlet-if-it-dies branch from 6d20bf0 to 21db95c Compare April 16, 2024 16:23
@rohinb2 rohinb2 force-pushed the rohin/move-env-servlet-cache-to-obj-store branch from 109a475 to f18c152 Compare April 16, 2024 16:46
@rohinb2 rohinb2 force-pushed the rohin/clean-up-servlet-if-it-dies branch from 21db95c to b4ddc7a Compare April 16, 2024 16:46
This was referenced Apr 16, 2024
Merged
Merged
@rohinb2 rohinb2 force-pushed the rohin/move-env-servlet-cache-to-obj-store branch from f18c152 to e42e923 Compare April 16, 2024 17:09
@rohinb2 rohinb2 force-pushed the rohin/clean-up-servlet-if-it-dies branch from b4ddc7a to e555c55 Compare April 16, 2024 17:09
@rohinb2 Graphite App
Copy link
Contributor Author

rohinb2 commented Apr 16, 2024 •
edited
Loading

Merge activity

  • Apr 16, 2:02 PM EDT: @rohinb2 started a stack merge that includes this pull request via Graphite.
  • Apr 16, 2:14 PM EDT: Graphite rebased this pull request as part of a merge.
  • Apr 16, 2:15 PM EDT: @rohinb2 merged this pull request with Graphite.

@rohinb2 rohinb2 force-pushed the rohin/move-env-servlet-cache-to-obj-store branch from e42e923 to c10db78 Compare April 16, 2024 18:10
@rohinb2 rohinb2 changed the base branch from rohin/move-env-servlet-cache-to-obj-store to main April 16, 2024 18:12
@rohinb2 rohinb2 force-pushed the rohin/clean-up-servlet-if-it-dies branch from e555c55 to f5d79e6 Compare April 16, 2024 18:13
@rohinb2 rohinb2 merged commit 74ba4e9 into main Apr 16, 2024
11 checks passed
@jlewitt1 jlewitt1 deleted the rohin/clean-up-servlet-if-it-dies branch April 24, 2024 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@rohinb2