[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 19:09:41 +0300 |
Paul,
Looking back at your original patch, I think the function you are
adding should be named make-temp-file-internal, as we do with other
functions whose low-level parts are implemented in C.
fileio--SOMETHING sounds like something we never had, so I think it's
better to a void a new prefix.
Thanks.
- 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/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 <=
- 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, Michael Albinus, 2017/08/12
bug#28023: fix make-temp-file race on local host, Eli Zaretskii, 2017/08/09