cleanup_dir() doesn't remove the base dir for some reason (race condition?) leaving a pile of empty /tmp/grass7-'s behind, so try again · 349b1aaa5b - ICI Gogs

cleanup_dir() doesn't remove the base dir for some reason (race condition?) leaving a pile of empty /tmp/grass7-'s behind, so try again

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@49849 15284696-431f-4ddb-bdfa-cd5b030d7da7

Hamish Bowman 13 years ago

parent

ab6aa32556

commit

349b1aaa5b

1 changed files with 1 additions and 0 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 0
						
lib/init/grass.py
							 
								View File
							
				@@ -103,6 +103,7 @@ def cleanup():
			
				     tmpdir, lockfile, remove_lockfile
			
				     # all exits after setting up $tmpdir should also tidy it up
			
				     cleanup_dir(tmpdir)
			
				+    try_rmdir(tmpdir)
			
				     if lockfile and remove_lockfile:
			
				 	try_remove(lockfile)