openwebwork/webwork2 — pull request #466 by jwj61 (2014-08-09 20:00:07+00:00)
Title: Fix gateway quiz bug and rounding

This fixes a bug when a problem using the weighter grader package in a problem in a Gateway quiz. Before, one place which shows the score for the current attempt could give a different score from the actual score of the attempt. This also rounds scores on Gateway pages to five decimal places.