[Demexp-cvs] arch commit: demexp--dev--0.5--patch-19

[David]

Revision: demexp--dev--0.5--patch-19
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Tue Jun  7 22:14:31 CEST 2005
Standard-date: 2005-06-07 20:14:31 GMT
Modified-files: srv/srvflags.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-19
Summary: bug fix: print correct month in logs
Keywords: server

* srv/srvflags.ml.nw: Unix.localtime gives a month numbered from 0,
  while mere mortals print month starting from 1. Fix month printing
  accordingly.