rebaseline_server: add actual_repo and actual_revision command line options

tools/svn.py

Index: tools/svn.py
diff --git a/tools/svn.py b/tools/svn.py
index 0c1ec4fd2b0e2040f5db0faaff86cc575c05ee9c..7927258a07a29219384045cb468d1e20b475158f 100644
--- a/tools/svn.py
+++ b/tools/svn.py
@@ -95,14 +95,15 @@ class Svn:
         """
         return self._RunCommand([SVN, 'checkout', url, path])
 
-    def Update(self, path):
+    def Update(self, path, revision='HEAD'):
         """Update the working copy.
         Returns stdout as a single string.
 
         @param path path (within self._directory) within which to run
-        "svn update"
+          "svn update"
+        @param revision revision to update to
         """
-        return self._RunCommand([SVN, 'update', path])
+        return self._RunCommand([SVN, 'update', path, '--revision', revision])

[borenet, 2014/03/10 18:01:12]

Does "--revision HEAD" do the right thing?  Or should we just leave off the
--revision parameter when revision == HEAD ?

[epoger, 2014/03/10 18:08:54]

Yup, it works fine.  From "svn help update":
  -r [--revision] ARG      : ARG (some commands also take ARG1:ARG2 range)
                             A revision argument can be one of:
                                NUMBER       revision number
                                '{' DATE '}' revision at start of the date
                                'HEAD'       latest in repository
                                'BASE'       base rev of item's working copy
                                'COMMITTED'  last commit at or before BASE
                                'PREV'       revision just before COMMITTED

... and I tested it, to make sure.

 
     def ListSubdirs(self, url):
         """Returns a list of all subdirectories (not files) within a given SVN