[Demexp-cvs] arch commit: demexp--development--0.3--patch-20

[David]

Revision: demexp--development--0.3--patch-20
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Thu Jul 15 09:57:13 CEST 2004
Standard-date: 2004-07-15 07:57:13 GMT
Modified-files: srv/demexp-server.ml.nw srv/io.ml.nw
    srv/srvflags.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-20
Summary: Creation of srv/Srvflags.log function
Keywords: 

* Add srv/Srvflags.log function. It is a printf-like function that
  prints its arguments only if flag_log is true. Modify all other source
  files to use it => much cleaner code. Yeh!