changeset 9643:013cc052a926

bookmarks: use API to determine if repo is local
author Alexander Solovyov <piranha@piranha.org.ua>
date Sun, 25 Oct 2009 12:05:07 +0200
parents 7d17794f08a9
children c6b721da201b
files hgext/bookmarks.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/hgext/bookmarks.py	Sun Oct 25 02:53:33 2009 +0200
+++ b/hgext/bookmarks.py	Sun Oct 25 12:05:07 2009 +0200
@@ -231,7 +231,7 @@
         write(repo, marks)
 
 def reposetup(ui, repo):
-    if not isinstance(repo, localrepo.localrepository):
+    if not repo.local():
         return
 
     # init a bookmark cache as otherwise we would get a infinite reading