Changes between Initial Version and Version 1 of Ticket #22509, comment 48


Ignore:
Timestamp:
07/31/17 12:21:44 (3 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22509, comment 48

    initial v1  
    11Coincidentally, I just discovered that this also fixes a rare race condition that results from the fact that multiple packages write to `$SAGE_LOCAL/usr/share/info/dir`.  If two packages that write to that file are installed in parallel there are probably a number of ways that can go wrong, such as (what just happened to me):
    22
    3 A) `[ ! -d $(DESTDIR)$info_dir ] ...`
    4 B) `mkdir $(DESTDIR)$info_dir`
    5 A) `... || mkdir $(DESTDIR)$info_dir`
     3A) `[ ! -d $(DESTDIR)$info_dir ] ...`[[BR]]
     4B) `mkdir $(DESTDIR)$info_dir`[[BR]]
     5A) `... || mkdir $(DESTDIR)$info_dir`[[BR]]
    66
    77resulting in directory already exists error.