diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-04 15:24:57 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-04 15:24:57 +0200 |
| commit | fa14259635b6af0029e0d26e6bfb5a2acfb694b5 (patch) | |
| tree | dd09881628293d7cb96bc8b8896c1019ddfeea2a | |
| parent | 1c1a83d131b3bf5a0da577b64f7423a602ad9679 (diff) | |
only ask libui to do debugging when we want it
| -rw-r--r-- | src/core/libs/lib-ui.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/core/libs/lib-ui.sh b/src/core/libs/lib-ui.sh index 9c4886f..5dc6e3d 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -12,7 +12,11 @@ ui_init () else logs=$LOG fi - libui-sh-init ${var_UI_TYPE:-cli} "$RUNTIME_DIR" "$logs" "${cats[@]}" + if [ "$DEBUG" = '1' ]; then + libui-sh-init ${var_UI_TYPE:-cli} "$RUNTIME_DIR" "$logs" "${cats[@]}" + else + libui-sh-init ${var_UI_TYPE:-cli} "$RUNTIME_DIR" "$logs" + fi # get keymap/font (maybe configured by aif allready in another process or even in another shell) # otherwise, take default keymap and consolefont as configured in /etc/rc.conf. can be overridden |