--- hal-0.5.9.1/tools/linux/hal-system-power-reboot-linux	2008-03-12 19:37:17.000000000 +0100
+++ hal-0.5.9.1/tools/linux/hal-system-power-reboot-linux	2008-03-12 19:54:44.000000000 +0100
@@ -8,10 +8,10 @@
 
 #Try for common tools
 if [ -x "/sbin/shutdown" ] ; then
-	/sbin/shutdown -r now
+	/sbin/shutdown -r now && pkill slim
 	exit $?
 elif [ -x "/usr/sbin/shutdown" ] ; then
-	/usr/sbin/shutdown -r now
+	/usr/sbin/shutdown -r now && pkill slim
 	exit $?
 else
 	unsupported

--- hal-0.5.9.1/tools/linux/hal-system-power-shutdown-linux	2008-03-12 19:37:07.000000000 +0100
+++ hal-0.5.9.1/tools/linux/hal-system-power-shutdown-linux	2008-03-12 19:54:52.000000000 +0100
@@ -8,10 +8,10 @@
 
 #Try for common tools
 if [ -x "/sbin/shutdown" ] ; then
-	/sbin/shutdown -h now
+	/sbin/shutdown -h now && pkill slim
 	exit $?
 elif [ -x "/usr/sbin/shutdown" ] ; then
-	/usr/sbin/shutdown -h now
+	/usr/sbin/shutdown -h now && pkill slim
 	exit $?
 else
 	unsupported