From 9ed7d0b11041aef5a659794d12eb2d6f59077c39 Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Tue, 8 Sep 2020 17:17:25 +0200
Subject: [PATCH] * Mail: handle push of delete or move of all messages in
 folder

---
 mail/js/app.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/mail/js/app.js b/mail/js/app.js
index 05c1b5c6f8..a67804036e 100644
--- a/mail/js/app.js
+++ b/mail/js/app.js
@@ -435,7 +435,11 @@ app.classes.mail = AppJS.extend(
 		// only handle delete by default, for simple case of uid === "$app::$id"
 		if (pushData.type === 'delete')
 		{
-			return this._super.call(this, pushData);
+			[].concat(pushData.id).forEach(uid => {
+				pushData.id = uid;
+				this._super.call(this, pushData);
+			});
+			return;
 		}
 
 		// notify user a new mail arrived