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

[David]

Revision: demexp--dev--0.5--patch-58
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jul  3 19:17:19 CEST 2005
Standard-date: 2005-07-03 17:17:19 GMT
Modified-files: doc/demexp-server.1 srv/demexp-server.ml.nw
    srv/srvflags.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-58
Summary: new option --daemon do detach from calling process
Keywords: server

* srv/demexp-server.ml.nw
  srv/Srvflags: 

  - new --daemon option: detach from calling process and terminal;

  - intercept SIGTERM and do a graceful shutdown when received;

  - print the name of received signals.

* doc/demexp-server.1: update documentation accordingly.