diff options
| author |   Chris Luke <chrisy@flirble.org> | 2019-05-17 10:17:16 -0400 |
|---|---|---|
| committer | Chris Luke <chrisy@flirble.org> | 2019-05-17 10:28:34 -0400 |
| commit | 5022c6ce34b5215e63a4ea5972ca0ed0fd196ab0 (patch) | |
| tree | f66add0066ed37b1e1ac6e81e26dfd130845e2bd /src/vppinfra | |
| parent | d8a34a57b12200000bb42d1c55f1a99a0a473f4b (diff) | |
Fix 'terminal history off' crasher
- 'set terminal history off' or '... limit 0' has an incorrect
terminal condition and tries to vec_delete one-too-many times
causing a crash.
- Changing >= to > fixes this.
- In any case, a single vec_delete is more efficient, so do that
instead.
Change-Id: Ia0db63b6c5c7891d75b302e793b4e4985dd86ebb
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'src/vppinfra')
0 files changed, 0 insertions, 0 deletions