<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Simon,<br>
<br>
</div>
<blockquote type="cite"
cite="mid:A2F8EA23-A6AC-44F8-B10F-E72A53847701@tu-berlin.de">
<pre wrap="">Just to be sure: There is no chance to delete some old files that are no longer used? I ask this because until yesterday I never has these problems.</pre>
</blockquote>
<p>if there is more than one filesysem at your machine, you can try
to move the /tmp directory there. Deleting its contents may also
help...</p>
<p>Best,</p>
<p>Vlado B, 12:30<br>
</p>
<div class="moz-signature">-- <br>
<font color="navy">Vladimír Benko</font>
<p>
Université Comenius de Bratislava<br>
Chaire UNESCO de communication<br>
plurilingue et multiculturelle</p>
<p>
Šafárikovo námestie 6, SK-81499 Bratislava</p>
<p>
<a class="moz-txt-link-freetext" href="http://unesco.uniba.sk/guest/">http://unesco.uniba.sk/guest/</a><br>
<a class="moz-txt-link-freetext" href="https://www.facebook.com/araneawebcorpora/">https://www.facebook.com/araneawebcorpora/</a><br>
<a class="moz-txt-link-freetext" href="https://vk.com/araneawebcorpora">https://vk.com/araneawebcorpora</a>
</p>
</div>
</body>
</html>