changeset 559:d6be16d7c5de

core/etc: clean pid files
author David Demelier <markand@malikania.fr>
date Fri, 05 Jul 2019 21:05:00 +0200
parents a85759a313b1
children 2f46816f1cd6
files core/etc/rc.init
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/core/etc/rc.init	Fri Jul 05 21:00:00 2019 +0200
+++ b/core/etc/rc.init	Fri Jul 05 21:05:00 2019 +0200
@@ -60,6 +60,9 @@
 	echo "done."
 fi
 
+# Clean pid files before starting any services.
+find /var/run -type f -name "*.pid" -delete
+
 #
 # Start a device service. Both eudev and busybox's mdev are supported but only
 # one at a time must be enabled.
@@ -107,5 +110,5 @@
 	fi
 fi
 
-# cleanup some files.
+# Cleanup some files.
 rm -f /etc/forcefsck