2001-07-18 Marcus Brinkmann <marcus@gnu.org>

	* rc: Do not excempt random-seed when cleaning up /var/run.  State
	data should be in /var/lib (FHS) or /var/state.
	* changelog: Update to current version.
	* debian/servers.boot: Add die $(serverboot).

1 files changed, 1 insertions, 1 deletions

diff --git a/debian/rc b/debian/rc
index 45592c9f..d56a5f3f 100755
--- a/debian/rc
+++ b/debian/rc
@@ -86,7 +86,7 @@ fi
 
 if test -d /var/run; then
   (cd /var/run && {
-    find . ! -type d ! -name utmp ! -name innd.pid ! -name random-seed \
+    find . ! -type d ! -name utmp ! -name innd.pid \
       -exec rm -f -- {} \;
     cp /dev/null utmp
     if grep -q ^utmp: /etc/group