Only delete the old repository if saving the new repo doesn't fail.
1 parent f564eb3 commit 18ad92ae6714012006b112dca0b7643e5c0d1759
@John Reese John Reese authored on 8 May 2008
Showing 1 changed file
View
Source/pages/repo_import.php