diff options
| author | Christian Weiske <cweiske@cweiske.de> | 2012-06-05 11:55:51 +0200 |
|---|---|---|
| committer | Christian Weiske <cweiske@cweiske.de> | 2012-06-05 11:55:51 +0200 |
| commit | 7b5ff7ebcf433777e1418c0ab0e4ab26ce3a1e63 (patch) | |
| tree | d261719476733f2291bdd4e77c636c303d0ce41f /src/phorkie/Repository.php | |
| parent | b5edcdd146332cab496e253251ed0460fb9bdd5c (diff) | |
| download | phorkie-7b5ff7ebcf433777e1418c0ab0e4ab26ce3a1e63.tar.gz phorkie-7b5ff7ebcf433777e1418c0ab0e4ab26ce3a1e63.zip | |
delete repository from index when deleting it
Diffstat (limited to 'src/phorkie/Repository.php')
| -rw-r--r-- | src/phorkie/Repository.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/phorkie/Repository.php b/src/phorkie/Repository.php index a57239e..3c2da64 100644 --- a/src/phorkie/Repository.php +++ b/src/phorkie/Repository.php @@ -176,6 +176,9 @@ class Repository */ public function delete() { + $db = new Database(); + $db->getIndexer()->deleteRepo($this); + return Tools::recursiveDelete($this->workDir) && Tools::recursiveDelete($this->gitDir); } |