Previous Next Index Close


2.2.1.3)  DII File Mirrors

In case an address points to a dii file - or a subcategory of a dii file, alternative locations for this file may be given. Here is an example:
   games -> http://ugh, http://zap, http://wa/games.dii/a/b
Now when the games category is selected, an attempt is made to open the file 'http://wa/games.dii.' If this fails, the alternative addresses are tried in the reverse order in which they were specified. In the above example, if one of the files can be opened, the file is parsed and an attempt is made to enter the a/b subcategory of this file.

The format of specifying mirror locations is as described because this enables the use of macros in the following way:
   @: _mirrors = http://ugh, http://zap, http://wa
   games -> _mirrors/games.dii/a/b
remark: The above implies that mirror locations may be specified for all reference types, such as queries and selections (see section 2.2.2).


Previous Next Index Close