script/rest/getscreennames.py
changeset 1098 23200ef9c00a
parent 891 8628c590f608