diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:45:50 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:45:50 +0100 |
| commit | 8cf706aadba726041d1f2207fd18bc5e93dae147 (patch) | |
| tree | d79148ca8cd51328d6c54aa61889e630f6d5885a | |
| parent | a407cdfcde2d5d9058c15296ecce35814ffd38a1 (diff) | |
syntax fix caused by previous commit
| -rw-r--r-- | src/core/procedures/interactive | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/procedures/interactive b/src/core/procedures/interactive index fa8ba6c..70ca0de 100644 --- a/src/core/procedures/interactive +++ b/src/core/procedures/interactive @@ -84,7 +84,7 @@ mainmenu() "1" "Choose Mirror" \ "2" "Return to Main Menu" [ "$ANSWER_OPTION" = 0 ] && execute worker runtime_network && S_NET=1 - [ "$ANSWER_OPTION" = 1 ] && execute worker select_mirror ;; + [ "$ANSWER_OPTION" = 1 ] && execute worker select_mirror done fi [ $ret -eq 0 ] && S_SRC=1 && execute worker runtime_packages ;; |