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

🥅 Kill servers on engine death #63

Merged
merged 5 commits into from
Aug 9, 2024
Merged

🥅 Kill servers on engine death #63

merged 5 commits into from
Aug 9, 2024

Commits on Jul 24, 2024

  1. 🥅 Kill servers on engine death 

    Signed-off-by: Joe Runde <Joseph.Runde@ibm.com>
    @joerunde
    joerunde committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    b85f909 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge branch 'main' into kill-grpc-server

    @joerunde
    joerunde authored Aug 7, 2024
    Configuration menu
    Copy the full SHA
    0d8d486 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Merge branch 'main' into kill-grpc-server

    @joerunde
    joerunde authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    297a882 View commit details
    Browse the repository at this point in the history

  2. ✨ actually kill both htpp + grpc 

    Signed-off-by: Joe Runde <Joseph.Runde@ibm.com>
    @joerunde
    joerunde committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    ae1aa2d View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. 🐛 add backwards compatibility 

    Signed-off-by: Joe Runde <Joseph.Runde@ibm.com>
    @joerunde
    joerunde committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    98bb2a4 View commit details
    Browse the repository at this point in the history