Another hack to maybe solve NFS client/server inconsistency in /repos.

cd319de3 · Leigh B Stoller · d2caa915 · cd319de3
Commit cd319de3 authored Jan 04, 2018 by Leigh B Stoller
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

apt/manage_gitrepo.in apt/manage_gitrepo.in +2 -1

No files found.
--- a/apt/manage_gitrepo.in
+++ b/apt/manage_gitrepo.in
 #!/usr/bin/perl -w
 #
-# Copyright (c) 2000-2017 University of Utah and the Flux Group.
+# Copyright (c) 2000-2018 University of Utah and the Flux Group.
 # 
 # {{{EMULAB-LICENSE
 # 
@@ -220,6 +220,7 @@ sub runCommandRetry($)

 	print STDERR "Failed: '$cmd'\n";
 	
+	system("/usr/bin/fsync $REPODIR");
 	$count--;
 	sleep(1)
 	    if ($count);