diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-15 22:15:35 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-15 22:15:35 +0100 |
| commit | 49b6cbba082c7d9fd42d1a11713ad71ffebeaf27 (patch) | |
| tree | f98d86921bbd104ff282b5cfdb834561bb1f0853 | |
| parent | 5f92067308ad179e92b90c9e4d2bac150d1eb615 (diff) | |
reset previous FOLLOW_PID
| -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 dc207e6..50d087a 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -267,6 +267,7 @@ follow_progress () { [ -z "$1" ] && die_error "follow_progress needs a title!" [ -z "$2" ] && die_error "follow_progress needs a logfile to follow!" + FOLLOW_PID= [ "$var_UI_TYPE" = dia ] && { _dia_follow_progress "$@" ; return $? ; } [ "$var_UI_TYPE" = cli ] && { _cli_follow_progress "$@" ; return $? ; } } |