Adding debian version 7.0.14-dfsg-4.debian/7.0.14-dfsg-4

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 23 insertions, 0 deletions

diff --git a/debian/virtualbox-source.files/postinst.modules.in b/debian/virtualbox-source.files/postinst.modules.in
new file mode 100644
index 00000000..20417402
--- /dev/null
+++ b/debian/virtualbox-source.files/postinst.modules.in
@@ -0,0 +1,23 @@
+#!/bin/sh
+
+set -e
+
+#DEBHELPER#
+
+case "${1}" in
+	configure)
+		# only restart if VirtualBox isn't running
+		if test -x /etc/init.d/virtualbox && ! pidof VBoxSVC > /dev/null; then
+			invoke-rc.d virtualbox restart || true
+		fi
+		;;
+
+	abort-upgrade|abort-deconfigure|abort-remove)
+
+		;;
+
+	*)
+		echo "${0} called with unknown argument \`${1}'" 1>&2
+		exit 1
+		;;
+esac