Skip to content
This repository was archived by the owner on Feb 13, 2025. It is now read-only.
This repository was archived by the owner on Feb 13, 2025. It is now read-only.

Unify and fix tasklet.kill(), tasklet.throw() and tasklet.raise_exception() #93

Closed
@ghost

Description

Originally reported by: Anselm Kruis (Bitbucket: akruis, GitHub: akruis)


The implementations of all three methods differ in their error handling. And they contain bugs in corner cases, especially if a tasklet has no thread state (various assertion violations).
I created a unified implementation of all three methods.


Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions