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?):
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?