script/rest/getscreennames.py
changeset 915 c428119e8399
parent 891 8628c590f608