When a message is deleted in a mailbox room, move it to Trash instead of deleting

diff --git a/webcit-ng/static/js/view_mail.js b/webcit-ng/static/js/view_mail.js
index 3cfdb8ca39f04b649ef7b1a5efa6743bf555692d..0cbd527058b16c9bd4a93929705ff3837c3ab4a0 100644 (file)
--- a/webcit-ng/static/js/view_mail.js
+++ b/webcit-ng/static/js/view_mail.js
@@ -20,7 +20,10 @@ mail_delete_func = async(table, row) => {
        let m = parseInt(row["id"].substring(12));      // derive msgnum from row id
        response = await fetch(
                "/ctdl/r/" + escapeHTMLURI(current_room) + "/" + m,
-               { method: "DELETE" }
+               {
+                       method: "MOVE",
+                       headers: { "Destination" : "/ctdl/r/_TRASH_" }
+               },
        );
        if (response.ok) {                              // If the server accepted the delete, blank out the message div.
                table.deleteRow(row.rowIndex);