Browse Source

Fix recorded audio when it has single .wav extension - refs BT#13601

Normally the recorded audio file with WAMI has a double `.wav` extension. In some stranger cases the audio file has a single `.wav` extension
Angel Fernando Quiroz Campos 7 years ago
parent
commit
cbe62403b6
1 changed files with 8 additions and 4 deletions
  1. 8 4
      main/inc/lib/exercise.lib.php

+ 8 - 4
main/inc/lib/exercise.lib.php

@@ -4401,10 +4401,14 @@ EOT;
         $fileName = "{$questionId}_{$userId}".DocumentManager::getDocumentSuffix($courseInfo, $sessionId, $groupId);
         $filePath = null;
 
-        if (file_exists("$sysCourseDir/exercises/teacher_audio/$attemptId/$fileName.ogg")) {
-            $filePath = "$webCourseDir/exercises/teacher_audio/$attemptId/$fileName.ogg";
-        } elseif (file_exists("$sysCourseDir/exercises/teacher_audio/$attemptId/$fileName.wav.wav")) {
-            $filePath = "$webCourseDir/exercises/teacher_audio/$attemptId/$fileName.wav.wav";
+        $relFilePath = "/exercises/teacher_audio/$attemptId/$fileName";
+
+        if (file_exists($sysCourseDir.$relFilePath.'.ogg')) {
+            $filePath = $webCourseDir.$relFilePath.'.ogg';
+        } elseif (file_exists($sysCourseDir.$relFilePath.'.wav.wav')) {
+            $filePath = $webCourseDir.$relFilePath.'.wav.wav';
+        } elseif (file_exists($sysCourseDir.$relFilePath.'.wav')) {
+            $filePath = $webCourseDir.$relFilePath.'.wav';
         }
 
         if (!$filePath) {