[issue26855] android: add platform.android_ver()

[Xavier de Gaye]

Xavier de Gaye added the comment:

IMHO returning an integer for the sdk field would be better. The patch could use shutil.which() to avoid subprocess calls when getprop is not available. It would be better to use a 'try/except ValueError' clause instead of isdigit(). The OSError and UnicodeDecodeError exceptions should not be masked, as well as ValueError if sdk cannot be parsed as an int.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue26855>
_______________________________________