diff options
Diffstat (limited to 'src/vcl')
| -rw-r--r-- | src/vcl/vppcom.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vcl/vppcom.c b/src/vcl/vppcom.c index 6b690e5d1d0..2c01589bab5 100644 --- a/src/vcl/vppcom.c +++ b/src/vcl/vppcom.c @@ -1254,6 +1254,7 @@ vppcom_app_destroy (void) munmap (mspace_least_addr (heap), mi.arena); vcm = &_vppcom_main; + vcm->is_init = 0; } int |