chiark / gitweb /
bash: Allow to restart already started service.