pike.git / lib / modules / Local.pmod

version» Context lines:

pike.git/lib/modules/Local.pmod:1:   #pike __REAL_VERSION__    - // $Id: Local.pmod,v 1.8 2006/11/04 19:06:48 nilsson Exp $ + // $Id: Local.pmod,v 1.9 2007/08/30 13:26:29 mbaehr 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. If the   //! environment variable PIKE_LOCAL_PATH is set, the paths specified
pike.git/lib/modules/Local.pmod:24:    if(name=="add_path")    return add_path;    return remove_path;    }       // FIXME: Should .pike or .pmod files have priority?    // currently .pike files has it here, but .pmod in the    // resolver. // mikael       foreach(local_path,string lp){ -  program r=(program)combine_path(lp,name); +  program r; +  catch{ +  r=(program)combine_path(lp,name); +  };    if(r)    return r;    Stdio.Stat st;    if(st=file_stat(lp+name+".pmod")){    if(st->isdir)    return master()->dirnode(lp+name+".pmod");    return (object)(lp+name+".pmod");    }    catch{    return (object)(lp+name+".so");