From 90d3918d94263ebba8cc5a176c10561c6e4c7081 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Fri, 12 May 2023 00:08:06 +0200 Subject: [PATCH] Continued: - use ${TMP} instead of hard-coded /tmp - updated 'core' framework --- contrib/cleanup.sh | 2 +- core | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/cleanup.sh b/contrib/cleanup.sh index c8842199a..2c3eb6eda 100755 --- 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 866b5dbf0..6e12381ce 160000 --- a/core +++ b/core @@ -1 +1 @@ -Subproject commit 866b5dbf0fb4f8f658b76bfcf961eac77e2ab154 +Subproject commit 6e12381ce34de3edb56d18830949362491ddb61a -- 2.39.5