Name
Pkg::SourceStartCache — Make sure the InstSrcManager is up, and return the list of SrcIds.
Synopsis
list<integer>
SourceStartCache
( |
boolean
| enabled_only
); |
Parameters
-
boolean
enabled_only
If true, make sure all InstSrces are enabled according to
their default, and return the Ids of enabled InstSrces only. If false, return the Ids of all known InstSrces.
Return
-
list<integer>
list of SrcIds
Description
Make sure the InstSrcManager is up, and return the list of SrcIds. In fact nothing more than:
SourceStartManager( enabled_only );
return SourceGetCurrent( enabled_only ); |
