Removal of socket added.

[hub.git] / contrib / cleanup.sh

diff --git a/contrib/cleanup.sh b/contrib/cleanup.sh
index 103188cd4e53d9722c0b65b24228114c2c0fad63..c8842199a9b7ad78c0f0dd2faa028e2c3056e646 100755 (executable)
--- a/contrib/cleanup.sh
+++ b/contrib/cleanup.sh
@@ -8,5 +8,8 @@ rm -f db/*/*.serial*
 echo "$0: Cleaning up stacks ..."
 rm -f data/stacks/*.stack*
 
+echo "$0: Removing socket ..."
+rm -f /tmp/php_hub_ipc_socket
+
 echo "$0: All done."
 exit 0