pike.git/ lib/ master.pike.in

2001-06-06

2001-06-06 10:04:08 by Mirar (Pontus Hagland) <pike@sort.mirar.org>

• 0024f9bfa83933f02e8b5d7d32c037288e16e228 (14 lines) (+13/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

adding possibility to trim file name callback

Rev: lib/master.pike.in:1.156

1:   /* -*- Pike -*-    * -  * $Id: master.pike.in,v 1.155 2001/05/31 22:50:30 hubbe Exp $ +  * $Id: master.pike.in,v 1.156 2001/06/06 10:04:08 mirar Exp $    *    * Master-file for Pike.    *
1658:   }   #endif /* constant(thread_local) */    + static private function(string:string) _trim_file_name_cb=0;   string trim_file_name(string s)   {    if(getenv("LONG_PIKE_ERRORS")) return s;    if(getenv("SHORT_PIKE_ERRORS")) return BASENAME(s); -  +  +  if (_trim_file_name_cb) return _trim_file_name_cb(s); +     /* getcwd() can fail, but since this is called from handle_error(),    * we don't want to fail, so we don't care about that.    */
1675:    return s;   }    + function(string:string) set_trim_file_name_callback(function(string:string) s) + { +  function(string:string) f=_trim_file_name_cb; +  _trim_file_name_cb=s; +  return f; + } +    /*    * This function is called whenever a compiling error occurs.    * Nothing strange about it.