Safe-DS / Runner

Execute Safe-DS programs that were compiled to Python.
MIT License
2 stars 0 forks source link

Message type to shut down runner process gracefully #24

Closed WinPlay02 closed 10 months ago

WinPlay02 commented 10 months ago

Is your feature request related to a problem?

On Windows systems, the runner cannot be gracefully shutdown, which leaves the SyncManager process behind.

Desired solution

A new message type (e.g. shutdown) that tells the runner to gracefully exit as soon as possible.

Possible alternatives (optional)

Screenshots (optional)

No response

Additional Context (optional)

Killing the process tree could still be used as a last resort, if after sending the shutdown message, a specific timeout expired and the process didn't shut down in time.

lars-reimann commented 10 months ago

:tada: This issue has been resolved in version 0.4.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket: