diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-04 13:56:48 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-04 13:56:48 +0100 |
| commit | a9306572bd4d0df7150307b70ab1231e6ce494a5 (patch) | |
| tree | 19a14ae15441351bae23bf19668278002a96691f | |
| parent | 4edf0d6d3c725b0a5a9709b1f827870ce8b73c44 (diff) | |
todo updates
| -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 c641f3c..b718b03 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -317,5 +317,6 @@ _cli_follow_progress () logfile=$2 echo "Title: $1" tail -f $2 + #TODO: don't block anymore when it's done } |