B. Petersen 0043e95ba7 fix message deletion on server ...

before a message is actually deleted,
we verify that server_folder+server_uid matches the Message-ID,
so that we do not delete the wrong message by accident.
the reason for that is that, to my knowledge, server_folder+server_uid
are not necessarily stable but Message-ID is.

anyway, this check was broken and set the server_uid to 0 in all cases -
where it should be set to 0 _only_ on mismatches.

2020-01-21 16:27:21 +03:00

..

idle.rs

Do not panic on SystemTimeDifference

2019-12-15 19:56:13 +01:00

mod.rs

fix message deletion on server

2020-01-21 16:27:21 +03:00

select_folder.rs

make setup_handle_if_needed async, call it ahead of select_folder and fetch_new_messages (renamed from fetch_from_single_folder), and be more eager triggering reconnect on error conditions

2019-12-05 21:47:32 +01:00