diff --git a/app/views/graders/_grader.html.haml b/app/views/graders/_grader.html.haml new file mode 100644 --- /dev/null +++ b/app/views/graders/_grader.html.haml @@ -0,0 +1,9 @@ + +%td= grader.ip +%td= grader.pid +%td= grader.updated_at.strftime("%H:%M:%S") if grader.updated_at!=nil +%td + - if grader.task_id==nil + \- + - else + = grader.task_id