diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 15:45:14 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 15:45:14 +0100 |
| commit | 13ab709cb329c601253085de754a3bf1add82203 (patch) | |
| tree | cc524985edaaf439c7f1f9aef5522a215982d5b6 /src/core/libs/lib-ui.sh | |
| parent | 1a84fee4210c382beaed377ff980bddb8847c9c7 (diff) | |
small stuff
Diffstat (limited to 'src/core/libs/lib-ui.sh')
| -rw-r--r-- | src/core/libs/lib-ui.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/libs/lib-ui.sh b/src/core/libs/lib-ui.sh index 340cdb5..8e33d12 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -12,6 +12,7 @@ DIA_MENU_TEXT="Use the UP and DOWN arrows to navigate menus. Use TAB to switch # display error message and die die_error () { + [ -n "$LOGFILE" ] && debug "die_error: ERROR: $@" > $LOGFILE notify "ERROR: $@" exit 2 } |