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

Strange progress #11819

Closed
koppor opened this issue Sep 23, 2024 · 2 comments · Fixed by #11822
Closed

Strange progress #11819

koppor opened this issue Sep 23, 2024 · 2 comments · Fixed by #11822
Assignees

Comments

@koppor
Copy link
Member

koppor commented Sep 23, 2024

When I do a full index, the list of tasks is shown as complete, but there is some unnamed (!) task running:

image

Maybe, this is related to #11701

@github-project-automation github-project-automation bot moved this to Normal priority in JabRef UI Improvements Sep 23, 2024
@koppor koppor moved this from Normal priority to Low priority in JabRef UI Improvements Sep 23, 2024
@koppor koppor changed the title Strange progess Strange progress Sep 23, 2024
@Siedlerchr
Copy link
Member

Related code from TaskProgressView:

   EventHandler<WorkerStateEvent> taskHandler = evt -> {
            if (!isRetainTasks()) {
                if (evt.getEventType().equals(
                        WorkerStateEvent.WORKER_STATE_SUCCEEDED)
                        || evt.getEventType().equals(
                        WorkerStateEvent.WORKER_STATE_CANCELLED)
                        || evt.getEventType().equals(
                        WorkerStateEvent.WORKER_STATE_FAILED)) {
                    getTasks().remove(evt.getSource());
                }
            }
        };

@LoayGhreeb LoayGhreeb self-assigned this Sep 24, 2024
@LoayGhreeb
Copy link
Member

Oh, this issue is fixed by #11822. I figured out that I used a wrong link in the PR.

@github-project-automation github-project-automation bot moved this from Low priority to Closed in JabRef UI Improvements Sep 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
No open projects
Archived in project
Development

Successfully merging a pull request may close this issue.

3 participants