3 function file_storage_delete($course) {
\r
6 require(AT_INCLUDE_PATH.'lib/file_storage.inc.php');
\r
8 // delete course files:
\r
9 fs_delete_workspace(WORKSPACE_COURSE, $course);
\r
11 // delete private student files:
\r
12 $sql = "SELECT member_id FROM ".TABLE_PREFIX."course_enrollment WHERE course_id=$course";
\r
13 $result = mysql_query($sql, $db);
\r
14 while ($student_row = mysql_fetch_assoc($result)) {
\r
15 fs_delete_workspace(WORKSPACE_PERSONAL, $student_row['member_id']);
\r