script/rest/getscreennames.py
changeset 982 11c1322cffe6
parent 891 8628c590f608