File Repository

[jri]

The concept of a server-side file repository and its client-side mirror repositories should be implemented in its own module: DeepaMehta 4 File Repository. See #289 and #290.

[Jörg Richter]

Files plugin: extend service (#291).

2 new methods in Files service:

String getRepositoryPath(URL url)

Checks if the given URL refers to the file repository of this DeepaMehta installation, and if so, returns the refered file's/directory's repository path.

File getFile(String path)

Accesses a file/directory in the file repository by its path.
This method doesn't require the corresponding File/Folder? topic to exist.

Furthermore in Core's JSONHelper:

boolean isDeepaMehtaURL(URL url)

Checks if the given URL's host and port refers to this DeepaMehta installation.

Note: meanwhile the class JSONHelper contains non-JSON related methods as well.
JSONHelper is about to be renamed to DeepaMehtaUtils?.

See ticket 291.

• Changeset: 36a39f39e28abbc3240d4585f80bb7f45e765a71
• URL: ​https://github.com/jri/deepamehta/commit/36a39f39e28abbc3240d4585f80bb7f45e765a71

[Jörg Richter]

Files plugin: exception handling + logging (#291).

See ticket 291.

• Changeset: f0b3b58439edb89992801fec7206ca6f22520a19
• URL: ​https://github.com/jri/deepamehta/commit/f0b3b58439edb89992801fec7206ca6f22520a19

[Jörg Richter]

Files plugin: extend service (#291).

2 new methods in Files service:

String getRepositoryPath(URL url)

Checks if the given URL refers to the file repository of this DeepaMehta installation, and if so, returns the refered file's/directory's repository path.

File getFile(String path)

Accesses a file/directory in the file repository by its path.
This method doesn't require the corresponding File/Folder? topic to exist.

Furthermore in Core's JSONHelper:

boolean isDeepaMehtaURL(URL url)

Checks if the given URL's host and port refers to this DeepaMehta installation.

Note: meanwhile the class JSONHelper contains non-JSON related methods as well.
JSONHelper is about to be renamed to DeepaMehtaUtils?.

See ticket 291.

• Changeset: 36a39f39e28abbc3240d4585f80bb7f45e765a71
• URL: ​https://github.com/jri/deepamehta/commit/36a39f39e28abbc3240d4585f80bb7f45e765a71

[Jörg Richter]

Files plugin: exception handling + logging (#291).

See ticket 291.

• Changeset: f0b3b58439edb89992801fec7206ca6f22520a19
• URL: ​https://github.com/jri/deepamehta/commit/f0b3b58439edb89992801fec7206ca6f22520a19

[jri]

In contrast to the original description the file repository is not implemented in its own module (but part of the Files plugin) and there are no client-side mirror repositories.
Nevertheless, the file repository feature is considered complete for the moment.