#!

NAME="ArmadaESS1869"
HOME=~

	alert --empty "`echo \"$NAME device driver uninstallation\" && echo \"\" && echo \"looking for installed driver...\" && rm -f -v \"$HOME/config/add-ons/kernel/drivers/bin/$NAME\" \"$HOME/config/settings/kernel/drivers/$NAME\" \"$HOME/config/add-ons/kernel/drivers/dev/audio/old/$NAME\" \"$HOME/config/add-ons/kernel/drivers/dev/audio/raw/$NAME\" && echo \"complete.\" || echo \"failure.\"`"

if [ `alert "Do you want changes to take effect now?" "No" "Yes"` = "Yes" ]; then
	kill -HUP media_server
	sleep 5
	kill -9 media_server
	kill -9 media_addon_server
	kill -9 audio_server
	if [ -x /bin/rescan ]; then rescan ArmadaESS1869; fi
	/system/servers/media_server >/dev/null &
	fi