diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-01 18:32:30 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-01 18:32:30 +0100 |
commit | 08c0adf9142dffb6a001466d5d4772e11c20c2e1 (patch) | |
tree | b635054a2650abb0914715079a5e277c06e81c0a /src | |
parent | de0c19f00bddc5574fc4d12717111a5937d7e385 (diff) |
port my previous fixes to lib-ui
Diffstat (limited to 'src')
-rw-r--r-- | src/core/libs/lib-ui.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/core/libs/lib-ui.sh b/src/core/libs/lib-ui.sh index 76aeecf..cb40c9e 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -98,12 +98,12 @@ log () str="[LOG] `date +"%Y-%m-%d %H:%M:%S"` $@" if [ "$var_UI_TYPE" = dia ] then - echo -e "$str" >$LOG + echo -e "$str" >$LOG || die_error "Cannot log $str to $LOG" else - echo -e "$str" >$LOG + echo -e "$str" >$LOG || die_error "Cannot log $str to $LOG" fi - [ "$LOG_TO_FILE" = 1 ] && echo -e "$str" >> $LOGFILE + [ "$LOG_TO_FILE" = 1 ] && ( echo -e "$str" >> $LOGFILE || die_error "Cannot log $str to $LOGFILE" ) } @@ -114,11 +114,11 @@ debug () then if [ "$var_UI_TYPE" = dia ] then - echo -e "$str" > $LOG + echo -e "$str" > $LOG || die_error "Cannot debug $str to $LOG" else - echo -e "$str" > $LOG + echo -e "$str" > $LOG || die_error "Cannot debug $str to $LOG" fi - [ "$LOG_TO_FILE" = 1 ] && echo -e "$str" >> $LOGFILE + [ "$LOG_TO_FILE" = 1 ] && ( echo -e "$str" >> $LOGFILE || die_error "Cannot debug $str to $LOGFILE" ) fi } |