diff options
| author |   Damjan Marion <damarion@cisco.com> | 2018-04-05 21:32:29 +0200 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2018-04-09 16:06:20 +0000 |
| commit | 72d2c4f3718ba5293e9e0fa8726406ee7d9f3940 (patch) | |
| tree | 799a61d776b35e640bf2542148bcca946b926dca /extras/vagrant | |
| parent | f13a8787365300d757eca4624c8f8a6b7c49392b (diff) | |
plugins: unload plugin if early init fails
Change-Id: I32f68e2ee8f5d32962acdefb0193583f71d342b3
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions