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.

Sign up for GitHub

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

Jump to bottom

Server message for runtime warnings #90

Open
lars-reimann opened this issue Apr 21, 2024 · 0 comments · May be fixed by #106
Open

Server message for runtime warnings #90

lars-reimann opened this issue Apr 21, 2024 · 0 comments · May be fixed by #106
Assignees
@lars-reimann
Labels
enhancement 💡 New feature or request

Comments

@lars-reimann
Copy link
Member

Is your feature request related to a problem?

Clients don't get notified about runtime warnings.

Desired solution

A new message type runtime_warning that is sent from the server to the client.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response
@lars-reimann lars-reimann added the enhancement 💡 New feature or request label Apr 21, 2024
@lars-reimann lars-reimann self-assigned this Apr 21, 2024
@lars-reimann lars-reimann added this to DSL Apr 21, 2024
@github-project-automation github-project-automation bot moved this to Backlog in DSL Apr 21, 2024
@lars-reimann lars-reimann moved this from Backlog to Todo in DSL May 2, 2024
@lars-reimann lars-reimann linked a pull request May 2, 2024 that will close this issue
Draft
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lars-reimann lars-reimann

Labels
enhancement 💡 New feature or request
Projects
DSL
Status: Todo
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: redesigned protocol Safe-DS/Runner
1 participant
@lars-reimann