On Mon, Dec 8, 2014 at 3:50 PM, Martin Sandve Alnæs <[email protected]> wrote: > On 8 December 2014 at 15:32, Anders Logg <[email protected]> wrote: >> >> @Martin: Yes that seems like a good idea if it makes the script more >> foolproof.
I have added this now. > Johannes: Is it possible to have the instant cache directory associated > with the hashdist profile such that hashdist garbage collection can > collect the cache as well? If not, is it worth considering as a hashdist > feature? No, it is not currently possible and I'm not sure if it can be added. I don't know that much about the garbage collection in hashdist. Johannes _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
