equal
deleted
inserted
replaced
143 prefix + "\\" + suffix |
143 prefix + "\\" + suffix |
144 } |
144 } |
145 else prefix + "/" + suffix |
145 else prefix + "/" + suffix |
146 |
146 |
147 def direct_path(prefix: String): String = append_path(prefix, ".") |
147 def direct_path(prefix: String): String = append_path(prefix, ".") |
|
148 |
|
149 def dir_path(prefix: String, direct: Boolean = false): String = |
|
150 if (direct) direct_path(prefix) else prefix |
148 } |
151 } |
149 |
152 |
150 final class Url private(val uri: URI) { |
153 final class Url private(val uri: URI) { |
151 override def toString: String = uri.toString |
154 override def toString: String = uri.toString |
152 |
155 |