|
@@ 834-841 (lines=8) @@
|
| 831 |
|
|
| 832 |
|
$workingTime = null; |
| 833 |
|
|
| 834 |
|
foreach ($resultExtra as $field) { |
| 835 |
|
$field = $field['value']; |
| 836 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 837 |
|
$workingTime = $field->getValue(); |
| 838 |
|
|
| 839 |
|
break; |
| 840 |
|
} |
| 841 |
|
} |
| 842 |
|
|
| 843 |
|
$courseUsers = CourseManager::get_user_list_from_course_code($_course['code'], $sessionId); |
| 844 |
|
|
|
@@ 3898-3904 (lines=7) @@
|
| 3895 |
|
); |
| 3896 |
|
|
| 3897 |
|
$workingTime = null; |
| 3898 |
|
foreach ($resultExtra as $field) { |
| 3899 |
|
$field = $field['value']; |
| 3900 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 3901 |
|
$workingTime = $field->getValue(); |
| 3902 |
|
} |
| 3903 |
|
} |
| 3904 |
|
|
| 3905 |
|
// If no time was defined, or a time of "0" was set, do nothing |
| 3906 |
|
if (!empty($workingTime)) { |
| 3907 |
|
// If some time is set, get the list of docs handed in by |
|
@@ 4343-4349 (lines=7) @@
|
| 4340 |
|
); |
| 4341 |
|
|
| 4342 |
|
$workingTime = null; |
| 4343 |
|
foreach ($resultExtra as $field) { |
| 4344 |
|
$field = $field['value']; |
| 4345 |
|
|
| 4346 |
|
if ($consideredWorkingTime == $field->getField()->getVariable()) { |
| 4347 |
|
$workingTime = $field->getValue(); |
| 4348 |
|
} |
| 4349 |
|
} |
| 4350 |
|
// If no time was defined, or a time of "0" was set, do nothing |
| 4351 |
|
if (!empty($workingTime)) { |
| 4352 |
|
$sessionId = empty($row['session_id']) ? 0 : $row['session_id']; |