equal
deleted
inserted
replaced
60 }).toArray |
60 }).toArray |
61 } |
61 } |
62 } |
62 } |
63 } |
63 } |
64 |
64 |
65 override def _getFile(vfs_session: AnyRef, url: String, component: Component): VFSFile = |
|
66 { |
|
67 val parent = getParentOfPath(url) |
|
68 if (parent == vfs_prefix) null |
|
69 else { |
|
70 val files = _listFiles(vfs_session, parent, component) |
|
71 if (files == null) null |
|
72 else files.find(_.getPath == url) getOrElse null |
|
73 } |
|
74 } |
|
75 |
|
76 override def _createInputStream( |
65 override def _createInputStream( |
77 vfs_session: AnyRef, url: String, ignore_errors: Boolean, component: Component): InputStream = |
66 vfs_session: AnyRef, url: String, ignore_errors: Boolean, component: Component): InputStream = |
78 { |
67 { |
79 explode_url(url, component = if (ignore_errors) null else component) match { |
68 explode_url(url, component = if (ignore_errors) null else component) match { |
80 case None | Some(Nil) => Bytes.empty.stream() |
69 case None | Some(Nil) => Bytes.empty.stream() |