delete repository from index when deleting it
authorChristian Weiske <cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000 (11:55 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000 (11:55 +0200)
src/phorkie/Repository.php

index a57239e..3c2da64 100644 (file)
@@ -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);
     }