Make sure that duplicate Addon install requests don't lead to duplicates in the insta...
authorIngo Ruhnke <grumbel@gmail.com>
Sat, 23 Aug 2014 19:03:44 +0000 (21:03 +0200)
committerIngo Ruhnke <grumbel@gmail.com>
Mon, 25 Aug 2014 07:52:11 +0000 (09:52 +0200)
commitebfce57cc11bf99e1fe4083fc6c5dfaf6141eafe
treebf3fc73b7716ef3456250dba698a7fc977bc23d0
parentf72cd83161ea9d9d394294b718ca8dc58f5c2d63
Make sure that duplicate Addon install requests don't lead to duplicates in the installed_addon list
src/addon/addon_manager.cpp