skytools.scripting: allow to specify exception(s) to suppress for a grace period
authormartinko <gamato@users.sf.net>
Thu, 30 Jan 2014 13:08:34 +0000 (14:08 +0100)
committermartinko <gamato@users.sf.net>
Thu, 30 Jan 2014 13:08:34 +0000 (14:08 +0100)
commit115f9742fcca5e784d3afd9bed763ec1d24eaa39
tree961554c00aa7b35467299b51f26d776938edb1ba
parent3bed59760b15aa09e85e32360ff4ae57dca6717f
skytools.scripting: allow to specify exception(s) to suppress for a grace period

It is possible to provide a list of exception names, or reserved keyword “ALL”.
python/skytools/scripting.py