-
Johannes Kanig authored
* make server aware of single client mode with command line flag * server will quit when last client disconnects * unix variant also deletes socket * move why3server binary to libdir
d7a2b1a7
* make server aware of single client mode with command line flag * server will quit when last client disconnects * unix variant also deletes socket * move why3server binary to libdir