Subject: [Instant-dev] [HG instant] Added ignore_errors=True to all shutil.rmtree calls.

From: [email-masked] (Instant)
Date: Thu, 4 Sep 2008 16:38:44 +0200 (CEST)

One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.

changeset:   230:d583b103badfb25d1281ee511c60941479d4f631
tag:         tip
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Sep 04 16:38:44 2008 +0200
files:       etc/instant-clean src/instant/build_module.py
description:
Added ignore_errors=True to all shutil.rmtree calls.

changeset:   229:0e72fabcdf2edebfcf1f488faaa34bc7e6226755
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Sep 04 16:31:36 2008 +0200
files:       src/instant/paths.py
description:
Fixed some code with a small bug potential.

changeset:   228:5666111e195bdad022a729dd38158d3deb0b1abe
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Sep 04 16:24:29 2008 +0200
files:       src/instant/cache.py
description:
Bugfix for non-string moduleid in import_module.

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant