Open jwaldmann opened 7 years ago
in config/models we have
JobPairInfo ... stdout ByteString htmlProof ByteString Maybe
this information is computed at Presenter.Starexec.Command.getJobPairInfo.
This feels wrong. We should just store stdout, and compute the html stuff on the fly, in Handler.ShowJobPair.getShowJobPairR.
in config/models we have
this information is computed at Presenter.Starexec.Command.getJobPairInfo.
This feels wrong. We should just store stdout, and compute the html stuff on the fly, in Handler.ShowJobPair.getShowJobPairR.