<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div><span class="Apple-style-span" style="font-family: Arial; font-size: 13px; ">Vladimir Marek <Vladimir.Marek@Oracle.COM> wrote:</span><br></div><div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "><div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "><b><br></b>> I agree with Sebastian. Fix the bug (x-offline-imap header inserted<br>> at invalid location based on incorrect assumption) with the use of the<br>> python email module. Avoid reinventing the wheel with the same code<br>> that is exposed and vulnerable to being changed and breaking in the<br>> future.<br><br>+1<br><br><br>> And keep the local copy when receiving UID 0, a duplicate is annoying<br>> but it's not a big deal vs. data loss. There are command line
tools<br>> and plugins for the mail clients, to delete duplicates quickly and<br>> easily. Data loss could be far worse than having to run a tool or<br>> plugin.<br><br>-1. I still don't see how we could loose the mail. We APPENDed it to the<br>IMAP mailbox and we are 100% sure it succeeded.<br><br>-- <br> Vlad<br>-----------------------------</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_4_131287825336859"><br></div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_4_131287825336859">I mentioned keeping the local copy because we don't have a lock/mutex on the remote mailbox-- it's being accessed non-exclusively, so this allows a race condition to take place. Another concurrent user of the mailbox could delete the message between the time we APPENDed the message, and tried to get the UID (and received a
0... indicating UID missing/not found). So the assumption about the message absolutely existing on the server and to ignore the 0 UID, could be incorrect... right?</div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_4_131287825336859"><br></div><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;" class="yui_3_2_0_4_131287825336859">Chris</div></div></div></body></html>