diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-09-17 21:18:20 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-09-17 22:02:19 -0700 |
commit | be510cfef3d8344007bd34128ca6eb799b714c8c (patch) | |
tree | 4c1136f834d85ca27f5f1870e46352d56927c249 /git-sh-setup.sh | |
parent | git-apply: fix whitespace stripping (diff) | |
download | tgif-be510cfef3d8344007bd34128ca6eb799b714c8c.tar.xz |
send-email: make message-id generation a bit more robust
Earlier code took Unix time and appended a few random digits.
If you are firing off many messages within a second, you could
issue the same id to different messages, which is a no-no. If
you send out 31 messages within a single second, with random
integer taken out of rand(4200), you have about 10% chance of
producing the same message ID.
This fixes the problem by uses a prefix string which is
constant-per-invocation (time and pid), with a serial number for
each message generated by the process appended at the end.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-sh-setup.sh')
0 files changed, 0 insertions, 0 deletions