Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

@Bibo-Joshi Bibo-Joshi commented Apr 10, 2023

See https://t.me/pythontelegrambotgroup/670240?thread=670177 for a reference.
I'll have to check if I can write a unit test for this special case …

Checklist for PRs

  • [ ] Added .. versionadded:: version, .. versionchanged:: version or .. deprecated:: version to the docstrings for user facing changes (for methods/class descriptions, arguments and attributes)
  • Created new or adapted existing unit tests
  • Documented code changes according to the CSI standard
  • [ ] Added myself alphabetically to AUTHORS.rst (optional)
  • [ ] Added new classes & modules to the docs and all suitable __all__ s

@Bibo-Joshi Bibo-Joshi marked this pull request as ready for review April 23, 2023 13:49
Copy link
Member

@harshil21 harshil21 left a comment

Choose a reason for hiding this comment

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

Nice. Though can't we just use asyncio.shield() in app.start()?

@Bibo-Joshi
Copy link
Member Author

Though can't we just use asyncio.shield() in app.start()?

That is actually way better! Don't know why I didn't think of it :D It works in a manual test. Let's see if the CI is happy as well - I'm not on a linux machine rn …

@Bibo-Joshi
Copy link
Member Author

So apparently asyncio.shield does not work on linux. TBH I'm not sure why exactly is, but I'm also not overly enthusiastic to dig into it too much when we have a working solution … So I reverted.

@Bibo-Joshi Bibo-Joshi added ℹ️ needs-wiki-update information: needs-wiki-update and removed ℹ️ needs-wiki-update information: needs-wiki-update labels May 6, 2023
@Bibo-Joshi Bibo-Joshi merged commit 450dc21 into master May 6, 2023
@Bibo-Joshi Bibo-Joshi deleted the shield-update-fetcher branch May 6, 2023 19:10
@github-actions github-actions bot locked and limited conversation to collaborators May 14, 2023
@Bibo-Joshi Bibo-Joshi added 🔌 enhancement pr description: enhancement and removed enhancement labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

🔌 enhancement pr description: enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants