Rebuilt targets

pull/194/head
root 4 years ago
parent fbce80bc0a
commit 51a4c8bcce

@ -43,7 +43,7 @@ CONFIG_FILE_REVISION_REQUIRED=1.3.0
# CleanUp no #__WITH_PARANOIA_DEBUG
_OFUNCTIONS_VERSION=2.3.0-RC4
_OFUNCTIONS_BUILD=2020031501
_OFUNCTIONS_BUILD=2020031502
_OFUNCTIONS_BOOTSTRAP=true
if ! type "$BASH" > /dev/null; then
@ -436,6 +436,7 @@ function GenericTrapQuit {
exit $exitcode
}
#### TrapQuit SUBSET END ####
function CleanUp {
# Exit controlmaster before it's socket gets deleted

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

@ -14,7 +14,7 @@ CONFIG_FILE_REVISION_REQUIRED=1.3.0
_OFUNCTIONS_VERSION=2.3.0-RC4
_OFUNCTIONS_BUILD=2020031501
_OFUNCTIONS_BUILD=2020031502
_OFUNCTIONS_BOOTSTRAP=true
if ! type "$BASH" > /dev/null; then
@ -391,6 +391,7 @@ function GenericTrapQuit {
exit $exitcode
}
#### TrapQuit SUBSET END ####
function CleanUp {
# Exit controlmaster before it's socket gets deleted

Loading…
Cancel
Save