ping server every 10 minutes

[redakcja.git] / lib / vstorage.py

diff --git a/lib/vstorage.py b/lib/vstorage.py
index 82151da..b4acaf3 100644 (file)
--- a/lib/vstorage.py
+++ b/lib/vstorage.py
@@ -328,16 +328,20 @@ class VersionedStorage(object):
         """Find the last revision in which the file existed."""
         repo_file = self._title_to_file(title)
         changectx = self._changectx()  # start with tip
         """Find the last revision in which the file existed."""
         repo_file = self._title_to_file(title)
         changectx = self._changectx()  # start with tip

+        visited = set()
+

         stack = [changectx]
         stack = [changectx]

+        visited.add(changectx)

 
         while repo_file not in changectx:
             if not stack:
 
         while repo_file not in changectx:
             if not stack:

-                return None
+                raise DocumentNotFound(title)

 
             changectx = stack.pop()
             for parent in changectx.parents():
 
             changectx = stack.pop()
             for parent in changectx.parents():

-                if parent != changectx:
+                if parent not in visited:

                     stack.append(parent)
                     stack.append(parent)

+                    visited.add(parent)

 
         try:
             fctx = changectx[repo_file]
 
         try:
             fctx = changectx[repo_file]