diff sat/tools/common/ansi.py @ 2887:9aadf11b315b

plugin android: check connectivity use Android API to retrieve connectivity informations (connection availability + kind of connection). Register to connectivity change broadcast, new client.networkEnabled/client.networkDisabled are called when suitable.
author Goffi <goffi@goffi.org>
date Sat, 06 Apr 2019 19:05:58 +0200
parents 003b8b4b56a7
children ab2696e34d29
line wrap: on
line diff