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.414 2008/03/26 22:31:04 grubba Exp $ + // $Id: master.pike.in,v 1.415 2008/03/27 14:09:12 grubba Exp $      #pike __REAL_VERSION__   //#pragma strict_types      // Some programs destroys character pairs beginning with the currency   // symbol when running in chinese locale.   #if "ยค/" != "\244/"   #error "master.pike.in is corrupted."   #endif   
pike.git/lib/master.pike.in:1507:   #else   #define FIX_CASE(X) (X)   #endif /* __NT__ */       static string base_from_filename(string fname)    {    string low_name = FIX_CASE(fname);    catch {    // FIXME: Warn on failure?    low_name = utf8_to_string(low_name); -  if (Builtin.string_width(low_name)) { +  if (Builtin.string_width(low_name) > 8) {    // We might need to normalize the string (cf MacOS X).       // Load the Unicode module if it hasn't already been loaded.    if (!Unicode) {    Unicode = resolv("Unicode");    }    low_name = Unicode.normalize(low_name, "NFC");    }    };    if (has_prefix(low_name, ".#")) return 0;