Opencast 4.x multiple server documentation

Description

The multiple servers documentation for r/4.x refers to setting the org.opencastproject.file.repo.url in the custom.properties file, however this doesn't exist within the file.
It does exist in org.opencastproject.organization-mh_default_org.cfg and this is correctly referred to later in the same documentation page.
I suspect the line in documentation for custom.properties is supposed to refer to org.opencastproject.file.repo.path.

I'm unclear what the purpose of org.opencastproject.file.repo.path is, or rather, how it is different from the option that follows it org.opencastproject.workspace.rootdir, their descriptions appear to be fairly similar (or perhaps I have misunderstood this..I thought working files were only created/used during media processing?):

1 # The path to the repository of files used during media processing.

and

1 # The path to the working files (recommend using fast, transient storage)

Also, org.opencastproject.file.repo.path is commented out in the custom.properties file and there isn't a description of the default value but Opencast works without this option being set. Is it necessary that it is set and included in the documentation?

Steps to reproduce

None

Status

Assignee

Unassigned

Reporter

Paul Gration

Criticality

None

Tags (folksonomy)

Components

Affects versions

4.0
4.1
4.2
4.3

Priority

Trivial
Configure