git.cweiske.de
/
phorkie.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b5edcdd
)
delete repository from index when deleting it
author
Christian Weiske
<cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000
(11:55 +0200)
committer
Christian Weiske
<cweiske@cweiske.de>
Tue, 5 Jun 2012 09:55:51 +0000
(11:55 +0200)
src/phorkie/Repository.php
patch
|
blob
|
history
diff --git
a/src/phorkie/Repository.php
b/src/phorkie/Repository.php
index a57239ef8097c1f014c1e880e41d593260694702..3c2da644c2db1abae62bc6b03a4ac03f3ca339d5 100644
(file)
--- 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);
}