Clean old name as well - thanks, Petr!

2004-09-28 07:59:17 +00:00
parent c24313bc8c
commit 018d7c657a
1 changed files with 2 additions and 1 deletions
@@ -230,7 +230,8 @@
        case "rename":
            if (!empty($name)) {
                html_header($course, $wdir);
-                $name = clean_filename($name);
+                $name    = clean_filename($name);
+                $oldname = clean_filename($oldname);
                if (file_exists($basedir.$wdir."/".$name)) {
                    echo "Error: $name already exists!";
                } else if (!rename($basedir.$wdir."/".$oldname, $basedir.$wdir."/".$name)) {