Subject: [Instant-dev] [HG instant] Check for existens of checksum file before trying to delete it.

From: [email-masked] (Instant)
Date: Wed, 3 Sep 2008 18:18:40 +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:   218:1309a5640879d1eb7d7194a9f6c117da1f5e8c79
tag:         tip
user:        Ilmar Wilbers <[email-masked]>
date:        Wed Sep 03 18:18:38 2008 +0200
files:       src/instant/build_module.py
description:
Check for existens of checksum file before trying to delete it.

changeset:   217:aec8ae3045a74e1467b15b5c97aa0fee78288e47
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 13:13:08 2008 +0200
files:       src/instant/cache.py src/instant/paths.py
description:
Bugfix in get_temp_dir().

changeset:   216:5ac4643892d28ae1845e6092b1c555c2c3198eb0
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 12:51:09 2008 +0200
files:       src/instant/build_module.py src/instant/cache.py
description:
Added "In instant.foo: " to warning and error messages.

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