diff options
author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-05-21 23:20:25 +0200 |
---|---|---|
committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-05-21 23:20:25 +0200 |
commit | ebba259fdcfd8cffe61000b48f11651fe8dd48b3 (patch) | |
tree | 2571929fc3b6990a2ca14b869a0fbaa110377442 /SBO-Lib/lib/SBO | |
parent | 868ca21754109304df609eb0bc2ba53656e21588 (diff) | |
download | sbotools2-ebba259fdcfd8cffe61000b48f11651fe8dd48b3.tar.xz |
SBO::Lib: document race condition in git_sbo_tree where $repo_path can be deleted
Diffstat (limited to 'SBO-Lib/lib/SBO')
-rw-r--r-- | SBO-Lib/lib/SBO/Lib.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/SBO-Lib/lib/SBO/Lib.pm b/SBO-Lib/lib/SBO/Lib.pm index 8bd7e37..a090d01 100644 --- a/SBO-Lib/lib/SBO/Lib.pm +++ b/SBO-Lib/lib/SBO/Lib.pm @@ -330,6 +330,7 @@ sub git_sbo_tree { my $cwd = getcwd(); my $res; if (-d "$repo_path/.git" and check_git_remote($repo_path, $url)) { + _race::cond '$repo_path can be deleted after -d check'; chdir $repo_path; $res = eval { die unless system(qw! git fetch !) == 0; # if system() doesn't return 0, there was an error |