Project

General

Profile

« Previous | Next » 

Revision 0f36882c

Added by Xavier Thirioux over 6 years ago

several bugs/oddities corrected:
- bizarre date stamping (when generating .lusi files)
- bug in loading libraries, forbidding several (transitive) imports of the same library.
- plugin scopes was wrongly always activated

View differences:

src/utils.ml
326 326
  pp_list lid pp_fun "" "." "."  
327 327

  
328 328
let pp_date fmt tm =
329
  Format.fprintf fmt "%i/%i/%i, %i:%i:%i"
329
  Format.fprintf fmt "%i/%i/%i, %02i:%02i:%02i"
330 330
    (tm.Unix.tm_year + 1900)
331 331
    tm.Unix.tm_mon
332 332
    tm.Unix.tm_mday

Also available in: Unified diff