Philippe PITTOLI 10cd792373 Delete the PID file when stopping the service.		2019-11-07 21:03:26 +01:00
..
service	Delete the PID file when stopping the service.	2019-11-07 21:03:26 +01:00
config.cr.in	Service#root, Environment#root.	2019-10-26 14:00:11 +02:00
gen-config.cr	Ports management overhaul.	2019-10-29 12:32:49 +01:00
get-port.cr	Ports management overhaul.	2019-10-29 12:32:49 +01:00
service.cr	Custom names for services.	2019-11-07 18:08:57 +01:00
status.cr	`service status --verbose`	2019-10-29 13:08:58 +01:00