pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   // -*- Pike -*-   //   // Master Control Program for Pike.   //   // This file is part of Pike. For copyright information see COPYRIGHT.   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.305 2003/09/20 20:49:48 nilsson Exp $ + // $Id: master.pike.in,v 1.306 2003/10/08 19:59:02 mast Exp $      #pike __REAL_VERSION__      // Some programs destroys character pairs beginning with the currency   // symbol when running in chinese locale.   #if "ยค/" != "\244/"   #error "master.pike.in is corrupted."   #endif      // --- Some configurable parameters
pike.git/lib/master.pike.in:2389:    random_seed(time() ^ (getpid()<<8));       if(sizeof(argv)==1)    {    if(run_tool) {    werror("Pike -x specificed without tool name.\n"    "Available tools:\n");    mapping t = ([]);    int i;    object ts = main_resolv( "Tools", "Standalone" ); -  foreach(indices(ts)-indices(ts->module), string s) { -  object o = ts[s](); +  foreach (indices(ts), string s) { +  mixed val = ts[s]; +  if (programp (val)) { +  object o = val();    if(!o->main) continue;    t[s] = o->description || "";    i = max(i, sizeof(s));    } -  +  }    foreach(sort(indices(t)), string s)    werror(" %-"+i+"s %s\n", s, t[s]);    exit(1);    }    main_resolv( "Tools", "Hilfe" )->StdinHilfe();    exit(0);    }    else    argv=argv[1..];