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

Add more data to judgehosts page #368

Open
eldering opened this issue Apr 19, 2018 · 3 comments
Open

Add more data to judgehosts page #368

eldering opened this issue Apr 19, 2018 · 3 comments

Comments

@eldering
Copy link
Member

@eldering eldering commented Apr 19, 2018

We should add more data to the judgehosts overview page:

  • which judging is currently judged by each judgehost
  • summary line with load averages
@thijskh
Copy link
Member

@thijskh thijskh commented Sep 8, 2018

Summary line: should only average over active judgehosts I think. Or even: only on active+green?

Which judging: this could be defined as judging where judgehost = hostname and endtime is null and valid = 1; maybe take most recent one when multiple? Alternative: display the submission instead. What is the usecase for having this in the overview?

@thijskh
Copy link
Member

@thijskh thijskh commented Mar 31, 2019

Just active, don't have to be green

@eldering
Copy link
Member Author

@eldering eldering commented Jan 11, 2020

Summary line: should only average over active judgehosts I think. Or even: only on active+green?

Probably over active+green. The point is to see the pressure on judgehosts and whether e.g. more are needed.

Which judging: this could be defined as judging where judgehost = hostname and endtime is null and valid = 1; maybe take most recent one when multiple? Alternative: display the submission instead. What is the usecase for having this in the overview?

The use-case is: a judgehost is taking a long time and might already show orange. Then it would be nice to quickly see what it is (supposed to be) working on, without having to ssh into it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.