Added missing RemoteLogger prefix

5 years ago · 183ca45b63
parent 31986d0d19
commit 183ca45b63
1 changed files with 2 additions and 2 deletions
--- a/dev/ofunctions.sh
+++ b/dev/ofunctions.sh
@ -31,7 +31,7 @@
 #### OFUNCTIONS MINI SUBSET ####
 #### OFUNCTIONS MICRO SUBSET ####
 _OFUNCTIONS_VERSION=2.3.0-dev-postRC2
-_OFUNCTIONS_BUILD=2019080901
+_OFUNCTIONS_BUILD=2019080902
 #### _OFUNCTIONS_BOOTSTRAP SUBSET ####
 _OFUNCTIONS_BOOTSTRAP=true
 #### _OFUNCTIONS_BOOTSTRAP SUBSET END ####
@ -197,7 +197,7 @@ function RemoteLogger {
 	local prefix

 	if [ "$_LOGGER_PREFIX" == "time" ]; then
-		prefix="TIME: $SECONDS - "
+		prefix="RTIME: $SECONDS - "
 	elif [ "$_LOGGER_PREFIX" == "date" ]; then
 		prefix="R $(date) - "
 	else