Changes to prevent 500 error in UI when repo files not deleted.

Refactored to not require repository object for delete method.
This allows repository to be fully closed before delete.

Changed exception throw to log.warn instead.

Code already existed to move repo to trash, and clean up trash
on next restart.

Change-Id: Ic9d9cca45db17b237348898f00e31633d103677a
1 file changed
tree: 00e389ad3877cdc1b0beadb45b2e62da06e97cad
  1. .settings/
  2. lib/
  3. src/
  4. .buckconfig
  5. .gitignore
  6. BUCK
  7. pom.xml
  8. VERSION