Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/mercurial.scala
changeset 75480 6c93c13ba3c8
parent 75479 4363ad65ad36
child 75485 d8ee3e4d74ef 
--- a/src/Pure/General/mercurial.scala	Sun May 29 20:57:10 2022 +0200
+++ b/src/Pure/General/mercurial.scala	Sun May 29 21:32:28 2022 +0200
@@ -259,6 +259,8 @@
       filter: List[String] = Nil,
       rev: String = ""
     ): Unit = {
+      require(ssh == SSH.Local, "local repository required")
+
       Isabelle_System.with_tmp_dir("rsync") { tmp_dir =>
         val (options, source) =
           if (rev.isEmpty) {
@@ -267,7 +269,7 @@
             File.write(exclude_path, cat_lines((".hg" :: exclude).map("/" + _)))
 
             val options = List("--exclude-from=" + exclude_path.implode)
-            val source = ssh.rsync_url + root.expand.implode
+            val source = File.standard_path(root)
             (options, source)
           }
           else {
isabelle