blob: 623395478505abe359b31559285142ceb4d23f9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#!/bin/sh
#
# Start/stop rngd (random number generator daemon) from rng-tools
#
# defaults are sane, normally no need to override
OPTIONS=
# pid-file created from rngd by default
PIDFILE=/var/run/rngd.pid
case $1 in
start)
if [ -e $PIDFILE ]; then
echo "rngd already running (found $PIDFILE)"
else
echo "starting rngd"
/usr/sbin/rngd $OPTIONS
fi
;;
stop)
if [ -e $PIDFILE ]; then
echo "stopping rngd"
kill -s SIGTERM `cat $PIDFILE`
else
echo "rngd not running (no $PIDFILE)"
fi
;;
restart)
$0 stop
$0 start
;;
*)
echo "Usage: ${0} {start|stop|restart}"
exit 1
;;
esac
|
