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.

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

ENH: session shutdown #61

Merged
merged 1 commit into from
Jul 23, 2022
Merged

ENH: session shutdown #61

merged 1 commit into from
Jul 23, 2022

Conversation

Miksus
Copy link
Owner

@Miksus Miksus commented Jul 23, 2022

Renamed session.shutdown to session.shut_down and added force option. Force will terminate all running tasks during shutdown.

Also, if called twice, the force is set.

Also added force option
@Miksus Miksus added enhancement New feature or request built-in Relates to the built-in tasks, conditions etc. labels Jul 23, 2022
@Miksus Miksus merged commit ea88c48 into master Jul 23, 2022
@Miksus Miksus deleted the dev/shutdown branch July 23, 2022 06:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
built-in Relates to the built-in tasks, conditions etc. enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant