script/rest/getscreennames.py
changeset 1370 d9711e6b1f17
parent 891 8628c590f608