+ if ("name" in picinfo[f] && picinfo[f].name.length > 0) {
+ var escaped_filename = "'" + shell_escape(picinfo[f].name) + "'";
+ if (picinfo[f].deleted == "deleted") {
+ commands.push("shred -u " + escaped_filename);
+ return;
+ }
+ if (picinfo[f].deleted == "extra") {
+ commands.push("mv " + escaped_filename + " \"$EXTRADIR\"");
+ return;
+ }