Error: That was not a valid file."; } else { $userfile_name = clean_filename($userfile['name']); if ($userfile_name) { $newfile = "$basedir$wdir/$userfile_name"; if (move_uploaded_file($userfile['tmp_name'], $newfile)) { echo "Uploaded $userfile_name (".$userfile['type'].") to $wdir"; } else { echo "A problem occurred while uploading '$userfile_name'"; echo " (possibly it was too large)"; } } } displaydir($wdir); } else { $upload_max_filesize = get_max_upload_file_size(); $filesize = display_size($upload_max_filesize); echo "

Upload a file (maximum size $filesize) into $wdir:"; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "
"; echo " "; echo ""; echo "	"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; } html_footer(); break; case "delete": if (!empty($confirm)) { html_header($course, $wdir); foreach ($USER->filelist as $file) { $fullfile = $basedir.$file; if (! fulldelete($fullfile)) { echo "
Error: Could not delete: $fullfile"; } } clearfilelist(); displaydir($wdir); html_footer(); } else { html_header($course, $wdir); if (setfilelist($HTTP_POST_VARS)) { echo "

You are about to delete:

$count files selected for moving. Now go to the destination and press \"Move files to here\".

Error: $shortfile not moved"; } } } clearfilelist(); displaydir($wdir); html_footer(); break; case "rename": if (!empty($name)) { html_header($course, $wdir); $name = clean_filename($name); if (file_exists($basedir.$wdir."/".$name)) { echo "Error: $name already exists!"; } else if (!rename($basedir.$wdir."/".$oldname, $basedir.$wdir."/".$name)) { echo "Error: could not rename $oldname to $name"; } displaydir($wdir); } else { html_header($course, $wdir, "form.name"); echo "

Rename $file to:"; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; } html_footer(); break; case "mkdir": if (!empty($name)) { html_header($course, $wdir); $name = clean_filename($name); if (file_exists($basedir.$wdir."/".$name)) { echo "Error: $name already exists!"; } else if (!mkdir($basedir.$wdir."/".$name, 0750)) { echo "Error: could not create $name"; } displaydir($wdir); } else { html_header($course, $wdir, "form.name"); echo "

Create folder in $wdir:"; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; } html_footer(); break; case "edit": html_header($course, $wdir); if (isset($text)) { $fileptr = fopen($basedir.$file,"w"); fputs($fileptr, stripslashes($text)); fclose($fileptr); displaydir($wdir); } else { $streditfile = get_string("edit", "", "$file"); $fileptr = fopen($basedir.$file, "r"); $contents = fread($fileptr, filesize($basedir.$file)); fclose($fileptr); if (mimeinfo("type", $file) == "text/html") { if ($usehtmleditor = can_use_richtext_editor()) { $onsubmit = "onsubmit=\"copyrichtext(document.form.text);\""; } else { $onsubmit = ""; } } else { $usehtmleditor = false; $onsubmit = ""; } print_heading("$streditfile"); echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; print_textarea($usehtmleditor, 25, 80, 680, 400, "text", $contents); echo "
"; echo " "; echo ""; echo "	"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; if ($usehtmleditor) { print_richedit_javascript("form", "text", "yes"); } } html_footer(); break; case "zip": if (!empty($name)) { html_header($course, $wdir); $name = clean_filename($name); $files = ""; foreach ($USER->filelist as $file) { $files .= basename($file); $files .= " "; } $command = "cd $basedir/$wdir ; $CFG->zip -r $name $files"; Exec($command); clearfilelist(); displaydir($wdir); } else { html_header($course, $wdir, "form.name"); if (setfilelist($HTTP_POST_VARS)) { echo "

You are about create a zip file containing:

What do you want to call the zip file?"; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; echo " "; echo " "; echo " "; echo " "; echo " "; echo " "; echo "

"; } else { displaydir($wdir); clearfilelist(); } } html_footer(); break; case "unzip": html_header($course, $wdir); if (!empty($file)) { echo "

Unzipping $file:

";
                $file = basename($file);
                $command = "cd $basedir/$wdir ; $CFG->unzip -o $file 2>&1";
                passthru($command);
                echo "