pike.git / lib / modules / Local.pmod

version» Context lines:

pike.git/lib/modules/Local.pmod:1:   #pike __REAL_VERSION__    - // $Id: Local.pmod,v 1.2 2002/02/23 01:29:23 mikael%unix.pp.se Exp $ + // $Id: Local.pmod,v 1.3 2002/02/25 13:13:27 nilsson Exp $      //! @[Local] gives a local module namespace used for locally   //! installed pike modules. Modules are searched for in   //! the directory @tt{pike_modules@} which can be located in   //! the user's home directory or profile directory, or in any   //! of the system directories @tt{/opt/share, /usr/local/share,   //! /opt@} or @tt{/usr/local/@}. The user's home directory is   //! determined by examining the environment variable HOME, and   //! if that fails the environment variable USERPROFILE.   //! @seealso - //! @[Local.add_local_path()], @[Local.remove_local_path()] + //! @[Local.add_path()], @[Local.remove_path()]   //!      static array(string) local_path;      mixed `[](string name) {    // Make sure dot syntax Local.add_path works.    if(name=="add_path" || name=="remove_path"){    if(name=="add_path")    return add_path;    return remove_path;