2007/6/6, Sebastian Spaeth <<a href="mailto:Sebastian@sspaeth.de">Sebastian@sspaeth.de</a>>:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>/home on the dev server is 100% full. It seems to be a 42GB partition.<br>Could people please either clean out their own space a little, and could<br>admins check whether all accounts are still being used here and force
<br>some removals if necessary?</blockquote><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">8596292 planet<br></blockquote></div><br><br>
Is this the reason yesterday's planet dump wasnt generated? Maybe the oldest dumps could be removed to free some space...<br><br>[]s<br><br>