|
|
$config.filenameReturns the filename of an open config file |
| Usage |
|
| Description |
| Returns the filename of the open config file identifier by <id>. <id> must be a valid config identifier returned by $config.open() If the <id> doesn't match any open file, an empty string is returned. |
| Syntax Specification |
|
| See also |
| config module documentation |