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

GUI: integrate new progress reporter as progress bars #1500

Closed
sk1p opened this issue Aug 15, 2023 · 0 comments · Fixed by #1514
Closed

GUI: integrate new progress reporter as progress bars #1500

sk1p opened this issue Aug 15, 2023 · 0 comments · Fixed by #1514
Milestone

Comments

@sk1p
Copy link
Member

sk1p commented Aug 15, 2023

  • In the UDF running engine of the web API, use a custom progress reporter
  • Forward events from the progress reporter via the websocket connection
  • Display progress bar in the web GUI, in some form or other
    • don't flash progress bar if operation finishes "fast" (under some threshold, let's say 200ms?)
    • ...but do show progress bar even before the first result comes in, which is currently a bit confusing
@sk1p sk1p added this to the 0.13 milestone Aug 15, 2023
@sk1p sk1p mentioned this issue Sep 21, 2023
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant