script/rest/getscreennames.py
changeset 1072 81d9db7d55f8
parent 891 8628c590f608