tree cd2e0b8647b061fb6bf1bb48eea088987989f383
parent a17e0f1b61add9a49f2f611c7baf42257a3979da
author Jack Jansen <jack.jansen@cwi.nl> 952534695 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 952534695 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4014629

Handles were never disposed. Added an AutoDispose(onoff) method to control this.
Also added a Handle() function which is like Resource() but has auto-dispose on by default.