[Ur] race condition in urweb-email
Adam Chlipala
adamc at csail.mit.edu
Sun May 14 13:04:38 EDT 2017
It should be fixed now.
On 05/02/2017 08:50 PM, Adam Chlipala wrote:
> Oh, I see why that is happening. It's definitely a bug. Thanks for
> the report, and consider it pushed onto my to-do list.
>
> On 05/02/2017 02:01 PM, Marko Schütz Schmuck wrote:
>> I'm seeing a race condition using urweb-email.
>>
>> An example is attached below.
>>
>> On the console I see the three TO: addresses reported by Mail.to and
>> then the three mails are sent with the last of the three addresses.
>>
>> Should Mail.from, Mail.subject and friends yield transaction header?
>>
>> Best regards,
>>
>> Marko
More information about the Ur
mailing list