These plugins are usually not neccessary for a normal website, but we found them useful for our own projects.
Namespace: http://pyxwf.zombofant.net/xmlns/nodes/mirror-switch, prefix: mirror
tree node: <mirror:switch />
Attributes: None
Compatible child nodes: one or more <mirror:host />
mirror host node: <mirror:host />
Attributes:
@host: | host name — Host name of the mirror server |
---|---|
@path: | url path — Path on the mirror servers host |
@port: | port number — (optional; defaults to 80) Port to use for HTTP |
@ssl-port: | port number — (optional; defaults to 443) Port to use for HTTPS |
@no-ssl: | boolean — (optional; defaults to False) Disable SSL for the host |
Allowed child nodes: None
If path resolving hits the <mirror:switch /> tree node, an HTTP redirect (302 Found) to a semi-random mirror is issued. The mirror is picked based on the following algorithm:
Note that this algorithm does by no means make sure that the file served by the mirror has the expected content. This should only be used with trusted mirrors and/or the appropriate security means.
TBD