1 files changed, 15 insertions, 0 deletions
diff --git a/libraries/php-stomp/doinst.sh b/libraries/php-stomp/doinst.sh
new file mode 100644
index 0000000000000..0bc4ceb74150d
--- /dev/null
+++ b/libraries/php-stomp/doinst.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+config() {
+  NEW="$1"
+  OLD="`dirname $NEW`/`basename $NEW .new`"
+  # If there's no config file by that name, mv it over:
+  if [ ! -r $OLD ]; then
+    mv $NEW $OLD
+  elif [ "`cat $OLD | md5sum`" = "`cat $NEW | md5sum`" ]; then # toss the redundant copy
+    rm $NEW
+  fi
+  # Otherwise, we leave the .new copy for the admin to consider...
+}
+
+config etc/php.d/stomp.ini.new