script/rest/getscreennames.py
changeset 990 cb6e1e314abd
parent 891 8628c590f608