script/rest/getscreennames.py
changeset 1338 00e23c95e844
parent 891 8628c590f608