utils.py
changeset 9794 75604f829f53
parent 7865 eb55045524be