vdbergh
vdbergh
> I'm not sure there is a problem in really keeping the blocked workers in the blocked list. > Well what I am proposing would keep them in the list,...
I made an issue about this before #1506. Setting up push notifications seemed quite difficult.
No it is of course fine to keep this one open!
I wonder what the current status is of this PR.
> #1631 Yes but this was meant to be for the event log. Not for the finished runs (for which there was never any problem).
Yes we tried several times to fix this with appropriate indexes, but without success.
Yes of course for the user pages. But there was never a problem for the generic page.
I always found it nice that with a single click one could observe the humble beginnings of Fishtest. It is a bit like a museum. It would be trivial to...
It should solve the issue. The request package may create corrupt downloads.
I think it can although the mechanics are not clear to me. I suppose the library receives the correct http headers but then the download is aborted. But in principle...