[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28023: fix make-temp-file race on local host
From: |
Eli Zaretskii |
Subject: |
bug#28023: fix make-temp-file race on local host |
Date: |
Sat, 12 Aug 2017 21:07:20 +0300 |
> Cc: michael.albinus@gmx.de, 28023@debbugs.gnu.org
> From: Paul Eggert <eggert@cs.ucla.edu>
> Date: Sat, 12 Aug 2017 10:57:26 -0700
>
> I see lots of exceptions to these conventions, presumably either because
> developers don't know the intent or because the code was written before the
> conventions were established. Still, it's better to document the intent so I
> installed the attached patch to do that.
Thanks, I agree this should be documented.
> I'll adjust the make-temp-file patch accordingly.
Thanks.
- bug#28023: fix make-temp-file race on local host, (continued)
- bug#28023: fix make-temp-file race on local host, Michael Albinus, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Michael Albinus, 2017/08/12
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/12
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/12
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/12
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/12
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/12
- bug#28023: fix make-temp-file race on local host,
Eli Zaretskii <=
- bug#28023: fix make-temp-file race on local host, Michael Albinus, 2017/08/12
bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/09
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/10
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/10
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/11
- bug#28023: fix make-temp-file race on local host, Paul Eggert, 2017/08/11
- bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/11