script/rest/getscreennames.py
changeset 1015 5364f64a8829
parent 891 8628c590f608