script/rest/getscreennames.py
changeset 1027 01268724f9b8
parent 891 8628c590f608