diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 18:37:53 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 18:37:53 +0100 |
| commit | a9b303a865b44e21efdb9f45e7fd892fb289ca48 (patch) | |
| tree | b1de184dbe0b31229399f677e630cac0b266a768 | |
| parent | 04abe41b784018586abe36c00ee5027536e0c024 (diff) | |
maybe a fix for installpkg returning 1 for no good reason
| -rw-r--r-- | src/core/libs/lib-ui.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core/libs/lib-ui.sh b/src/core/libs/lib-ui.sh index cc80616..40b5046 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -38,6 +38,8 @@ show_warning () [ "${type}" = msg ] && echo -e "$2" [ "${type}" = text ] && cat $2 || die_error "Could not cat $2" fi + + return 0 } |