Continued:

- use ${TMP} instead of hard-coded /tmp
- updated 'core' framework

diff --git a/contrib/cleanup.sh b/contrib/cleanup.sh
index c8842199a9b7ad78c0f0dd2faa028e2c3056e646..2c3eb6edadf52409e78b5e6ee4be94558c892e1a 100755 (executable)
--- a/contrib/cleanup.sh
+++ b/contrib/cleanup.sh
@@ -9,7 +9,7 @@ echo "$0: Cleaning up stacks ..."
 rm -f data/stacks/*.stack*
 
 echo "$0: Removing socket ..."
-rm -f /tmp/php_hub_ipc_socket
+rm -f "${TMP}/php_hub_ipc_socket"
 
 echo "$0: All done."
 exit 0

diff --git a/core b/core
index 866b5dbf0fb4f8f658b76bfcf961eac77e2ab154..6e12381ce34de3edb56d18830949362491ddb61a 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 866b5dbf0fb4f8f658b76bfcf961eac77e2ab154
+Subproject commit 6e12381ce34de3edb56d18830949362491ddb61a