diff frontends/src/quick_frontend/quick_profile_manager.py @ 1576:d5f59ba166fe

plugins IP: getLocalIPs now return localhost IP instead of an empty list if no non-localhost ip can be found
author Goffi <goffi@goffi.org>
date Wed, 11 Nov 2015 18:19:49 +0100
parents 039d96e131be
children 1c5761cb1bdc
line wrap: on
line diff