summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDieter Plaetinck <dieter@plaetinck.be>2009-03-15 22:15:35 +0100
committerDieter Plaetinck <dieter@plaetinck.be>2009-03-15 22:15:35 +0100
commit49b6cbba082c7d9fd42d1a11713ad71ffebeaf27 (patch)
treef98d86921bbd104ff282b5cfdb834561bb1f0853
parent5f92067308ad179e92b90c9e4d2bac150d1eb615 (diff)
reset previous FOLLOW_PID
-rw-r--r--src/core/libs/lib-ui.sh1
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 $? ; }
}