script/rest/getscreennames.py
changeset 931 44ef3b1e7cbf
parent 891 8628c590f608