|
|
|
|
$config.id Returns the ID of an open config file |
Usage |
$config.id(<filename>) |
Description |
| Returns the ID of an open config file specified by <filename>. (This is the same ID that is returned by $config.open. If no such file is open, 0 is returned (that is an invalid config identifier). |
See also |
| config module documentation |