<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 04/22/2012 03:04 PM, Florian Haftmann wrote:
<blockquote cite="mid:4F9401E4.6070302@informatik.tu-muenchen.de"
type="cite">
<blockquote type="cite">
<pre wrap="">I've managed to remove more than 5 GB of old heap files, but this might
be a bit pathethic due to this directory:
225G tmp/shared_results
Does anybody know what it is?
</pre>
</blockquote>
<pre wrap="">
These are the results from the mira runs, which in theory are kept
eternally. There is the mira command »purge« which throws them away
except the most recent ones (however the heuristic is). I personally
don't have any intimate knowledge about the mira setup at TUM any longer
and am reluctant to risk something, so I kindly ask for action from the
current mira administrators at TUM.
Best,
Florian
</pre>
</blockquote>
We manually purge the results when we get close to the quota.<br>
This is now been done just a moment ago.<br>
Supposingly our quota is monitored, and we should get email
notifications, however I have not seen any lately.<br>
<br>
Lukas<br>
<br>
<blockquote cite="mid:4F9401E4.6070302@informatik.tu-muenchen.de"
type="cite">
<pre wrap="">
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>