|
|
|
@ -47,7 +47,13 @@ __resh_collect() { |
|
|
|
local __RESH_PID="$$" # current pid |
|
|
|
local __RESH_PID="$$" # current pid |
|
|
|
elif [ -n "$BASH_VERSION" ]; then |
|
|
|
elif [ -n "$BASH_VERSION" ]; then |
|
|
|
# assume Bash |
|
|
|
# assume Bash |
|
|
|
local __RESH_PID="$BASHPID" # current pid |
|
|
|
if [ "${BASH_VERSINFO[0]}" -ge "4" ]; then |
|
|
|
|
|
|
|
# $BASHPID is only available in bash4+ |
|
|
|
|
|
|
|
# $$ is fairly similar so it should not be an issue |
|
|
|
|
|
|
|
local __RESH_PID="$BASHPID" # current pid |
|
|
|
|
|
|
|
else |
|
|
|
|
|
|
|
local __RESH_PID="$$" # current pid |
|
|
|
|
|
|
|
fi |
|
|
|
fi |
|
|
|
fi |
|
|
|
# time |
|
|
|
# time |
|
|
|
local __RESH_TZ_BEFORE; __RESH_TZ_BEFORE=$(date +%z) |
|
|
|
local __RESH_TZ_BEFORE; __RESH_TZ_BEFORE=$(date +%z) |
|
|
|
|