4aa9324
frontend: better link to builder-live.log show builder-log.gz instead of builder-log on build page when build has finished and hide if it is still running Fixes: #941 Merges: #945