1 files changed, 21 insertions, 0 deletions

diff --git a/editors/mule-common/files/mule.sh b/editors/mule-common/files/mule.sh
new file mode 100644
index 000000000000..c6976c1b8a18
--- /dev/null
+++ b/editors/mule-common/files/mule.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+case "$1" in
+start)
+	if [ -d /var/run/emacs/lock ]
+	then
+	    rm -f /var/run/emacs/lock/*
+	else
+	    mkdir -p /var/run/emacs/lock
+	fi
+	chmod 1777 /var/run/emacs/lock
+	;;
+stop)
+	;;
+*)
+	echo "Usage: `basename $0` {start|stop}" >&2
+	exit 64
+	;;
+esac
+
+exit 0