[Ur] race condition in urweb-email

Adam Chlipala adamc at csail.mit.edu
Tue May 2 20:50:58 EDT 2017


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