Solution for bug 1258 I think ... needs testing

diff --git a/mod/assignment/lib.php b/mod/assignment/lib.php
index b23c2ee1049def5b2fb0565af25ba6bc05651853..9f8addcc397bae14ff9504c07a02a92ef3a352e1 100644 (file)
--- a/mod/assignment/lib.php
+++ b/mod/assignment/lib.php
@@ -569,7 +569,7 @@ function assignment_print_feedback($course, $submission) {
     echo "\n<TR><TD WIDTH=100% BGCOLOR=\"$THEME->cellcontent\">";
 
     echo "<P ALIGN=RIGHT><FONT SIZE=-1><I>";
-    if ($submission->grade) {
+    if ($submission->grade or $submission->timemarked) {
         echo get_string("grade").": $submission->grade";
     } else {
         echo get_string("nograde");