# HG changeset patch
# User Alexander Solovyov <piranha@piranha.org.ua>
# Date 1256465107 -7200
# Node ID 013cc052a926b1d7b9afee27c9168476e29a0978
# Parent  7d17794f08a9a63652aa51f614735568a675d764
bookmarks: use API to determine if repo is local

diff -r 7d17794f08a9 -r 013cc052a926 hgext/bookmarks.py
--- 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