script/rest/getscreennames.py
changeset 1003 366c873e2e29
parent 891 8628c590f608