diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-31 11:55:03 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-31 11:55:03 +0100 |
commit | 2251caf7180ede8b51f0b60da034ffe08506fc4d (patch) | |
tree | c221a10d4f76c38bb1ce23f30a2c70ca329c982e /src | |
parent | 4dfd4b7e8a560729ba723c2fa8d74275f128a0a6 (diff) |
fix numbering in main menu of interactive procedure
Diffstat (limited to 'src')
-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 f3e3361..5c259a2 100644 --- a/src/core/procedures/interactive +++ b/src/core/procedures/interactive @@ -50,9 +50,9 @@ mainmenu() menu=() for i in ${!menu_workers[@]} do - let i+=1 # we count from 1 onwards, not from 0 worker=${menu_workers[$i]} title=${workertitles[$worker]} + let i+=1 # in menu, we count from 1 onwards, not from 0 menu+=($i "$title") done |