chiark / gitweb /
bab57073c4a083a3747f95b9815505fa16fe3bce
[userv.git] / prerm
1 #!/bin/sh
2 set -e
3 /etc/init.d/userv stop >/dev/null