Skip to content

[Galactic backport] wait for message (#1705)#1740

Merged
Karsten1987 merged 1 commit intogalacticfrom
galactic_wait_for_message
Aug 3, 2021
Merged

[Galactic backport] wait for message (#1705)#1740
Karsten1987 merged 1 commit intogalacticfrom
galactic_wait_for_message

Conversation

@Karsten1987
Copy link
Copy Markdown
Contributor

backport of #1705

* wait for message

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>

* move to own header file

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>

* linters

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>

* add gc for shutdown interrupt

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>

* mention behavior when shutdown is called

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>

* check gc

Signed-off-by: Karsten Knese <Karsten1987@users.noreply.github.com>
@Karsten1987
Copy link
Copy Markdown
Contributor Author

  • Linux Build Status
  • Linux-aarch64 Build Status
  • macOS Build Status
  • Windows Build Status

Copy link
Copy Markdown
Collaborator

@fujitatomoya fujitatomoya left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Karsten1987 thanks for the galactic backport 👍 lgtm.

@Karsten1987 Karsten1987 merged commit 910cf32 into galactic Aug 3, 2021
@delete-merged-branch delete-merged-branch bot deleted the galactic_wait_for_message branch August 3, 2021 19:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants