src/Pure/PIDE/protocol.scala
changeset 56449 f0592485b7fb
parent 56447 1e77ed11f2f7
child 56458 a8d960baa5c2
     1.1 --- a/src/Pure/PIDE/protocol.scala	Mon Apr 07 13:11:31 2014 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Mon Apr 07 13:55:12 2014 +0200
     1.3 @@ -353,7 +353,7 @@
     1.4          variant(List(
     1.5            { case Exn.Res((a, b)) =>
     1.6                (Nil, triple(string, string, option(string))(
     1.7 -                (a.node, Isabelle_System.posix_path(a.node), b.map(p => p._1.toString)))) },
     1.8 +                (a.node, Isabelle_System.posix_path_url(a.node), b.map(p => p._1.toString)))) },
     1.9            { case Exn.Exn(e) => (Nil, string(Exn.message(e))) }))
    1.10        YXML.string_of_body(list(encode_blob)(command.blobs))
    1.11      }
    1.12 @@ -384,7 +384,7 @@
    1.13          variant(List(
    1.14            { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
    1.15            { case Document.Node.Deps(header) =>
    1.16 -              val master_dir = Isabelle_System.posix_path(name.master_dir)
    1.17 +              val master_dir = Isabelle_System.posix_path_url(name.master_dir)
    1.18                val imports = header.imports.map(_.node)
    1.19                val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
    1.20                (Nil,